Symbol: or_r32