Constant integer_ 

pub const integer_: Symbol;