Constant INTEGER_5 

pub const INTEGER_5: Symbol;