Constant INTEGER_15

pub const INTEGER_15: Symbol;