/* Depending on the OS and availability of gettimeofday(), one and
only one of PTIMER_POSIX, PTIMER_GETTIMEOFDAY, PTIMER_WINDOWS, or
PTIMER_TIME will be defined. */
/* Depending on the OS and availability of gettimeofday(), one and
only one of PTIMER_POSIX, PTIMER_GETTIMEOFDAY, PTIMER_WINDOWS, or
PTIMER_TIME will be defined. */