// The -*- C++ -*- time header. // This file is part of the GNU ANSI C++ Library. #ifndef __CTIME__ #define __CTIME__ #include <time.h> #endif