Symbol: rand_len