pub const JIT_OP_PUSH_INT: u32 = 380;