let add_glob_decls = W.add_glob_decls