// -*- C++ -*- forwarding header.

#ifndef __NEW_H__
#define __NEW_H__

#include <new>

#if 0
using std::new_handler;
using std::set_new_handler;
#endif

#endif // __NEW_H__