// -*- C++ -*- forwarding header. // This file is part of the GNU ANSI C++ Library. #ifndef __VECTOR__ #define __VECTOR__ #include #endif