pub const JIT_OP_CHECK_INT: u32 = 11;