Constant INTEGER_7

pub const INTEGER_7: Symbol;