DEBUG_GUESSRANGE 2631 time.c         #ifdef DEBUG_GUESSRANGE
DEBUG_GUESSRANGE 2802 time.c         #ifdef DEBUG_GUESSRANGE