Symbol: add_r32_i32