Constant CCODE::ES_NUMBER

pub const ES_NUMBER: u32 = 8192;