// -*- C++ -*- forwarding header.
// This file is part of the GNU ANSI C++ Library.
#ifndef __NEW__
#include <std/new.h>
#endif