Constant INTEGER_3 

pub const INTEGER_3: Symbol;