pub const NonZeroU64: Symbol;