Symbol: M_pop_mul_int