pub fn select_u8(c: Choice, a: u8, b: u8) -> u8
Branch-free select: returns a when c is true, otherwise b.
a
c
b