Symbol: gen_bitlen