Constant INTEGER_5

pub const INTEGER_5: Symbol;