let parse_global_declarations decl = let env = empty_environment () in env, parse_global_declarations [] ~env decl