gen_symbol_name now returns an Ident