pub open spec fn u16_bit_is_set(w: u16, b: int) -> bool
{ (w & (1u16 << (b as usize))) != 0 }
Whether bit b of w is set.
b
w