let
add_glob_decls =
W
.add_glob_decls