Constant INTEGER_1 

pub const INTEGER_1: Symbol;