pub type CheckedNonZeroU16 = CheckedNum<NonZero<u16>>;
struct CheckedNonZeroU16(/* private fields */);