macro_rules! nonzero_type {
    (u32) => { ... };
    (u64) => { ... };
}