fn power_of_two_le(val: u16) -> Option<u16>