Constant INTEGER_9 

pub const INTEGER_9: Symbol;