Symbol: mix_setrealdev