a2 = if ((x `mod` 128) >= 64) then One else Zero
a3 = if ((x `mod` 64) >= 32) then One else Zero
a4 = if ((x `mod` 32) >= 16) then One else Zero
a2 = if ((x `mod` 128) >= 64) then One else Zero
a3 = if ((x `mod` 64) >= 32) then One else Zero
a4 = if ((x `mod` 32) >= 16) then One else Zero