Symbol: gen_unique_name