toplevel: don't dump_value all the external decls