Constant INTEGER_10

pub const INTEGER_10: Symbol;