: static double timeofday(void)

