Constant INTEGER_11 

pub const INTEGER_11: Symbol;