// ----------------------------------------------------------------------------
// System headers
// ----------------------------------------------------------------------------
#if defined(__WIN32__)
// ----------------------------------------------------------------------------
// System headers
// ----------------------------------------------------------------------------
#if defined(__WIN32__)
// If possible, use a function which avoids conversions from
// broken-up time structures to milliseconds
// If possible, use a function which avoids conversions from
// broken-up time structures to milliseconds