pub const JIT_OP_CHECK_UINT: u32 = 12;