toplevel: strlen; don't dump_value all the external decls