Constant INTEGER_4 

pub const INTEGER_4: Symbol;