Constant INTEGER_13 

pub const INTEGER_13: Symbol;