Constant INTEGER_7 

pub const INTEGER_7: Symbol;