pub fn ch_32(a: u32, b: (u32, u32)) -> u32
Bitwise CHOICE of a bit and two 32-bit values. If the bit is true, then take the first value, else take the second value.