pub const JIT_OPCODE_DEST_INT: u32 = 1;