#ifndef vcl_ctime_h_
#define vcl_ctime_h_
/*
  fsm
*/

#include "vcl_compiler.h"

// Purpose: provide access to the <time.h> standard C header.

#if !VCL_CXX_HAS_HEADER_CTIME
# include <time.h>
# define vcl_generic_ctime_STD /* */
# include "generic/vcl_ctime.h"
#else
# include "iso/vcl_ctime.h"
#endif

// ??
#ifndef VCL_WIN32
#include <sys/times.h>
#endif

#endif // vcl_ctime_h_
