pub const JIT_OP_CHECK_SHORT: u32 = 9;