Constant INTEGER_15 

pub const INTEGER_15: Symbol;