toplevel: don't dump_module