Symbol: rnd_add