Replaced some occurrences of PUSH_OP with PUSH_INT_OP.