Symbol: get_toplevel_mtag