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