Implement I_PUSH_INT2.