Symbol: print_gens