Symbol: gen_len