Symbol: get_toplevel_name