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