Symbol: add_r32