Constant INTEGER_11

pub const INTEGER_11: Symbol;