Constant INTEGER_10 

pub const INTEGER_10: Symbol;