Constant INTEGER_12 

pub const INTEGER_12: Symbol;