Constant NonZero 

pub const NonZero: Symbol;