Constant INTEGER_9

pub const INTEGER_9: Symbol;