Constant INTEGER_13

pub const INTEGER_13: Symbol;