Constant INTEGER_14 

pub const INTEGER_14: Symbol;