Symbol: mm_addiu32_op