Symbol: get_nr_gens