Symbol: inj_rand_add