#ifndef __DATE_HXX__
#define __DATE_HXX__

void
InitializeDateTime();

void
TerminateDateTime();

#endif // __DATE_HXX__
