macro_rules! nonzero_unsigned_is_power_of_two {
    ( $( $Ty: ident )+ ) => { ... };
}