where is flavor_rnd defined?