Constant INTEGER_12

pub const INTEGER_12: Symbol;