WIDEVALUE         176 time.c         typedef uint64_t WIDEVALUE;
WIDEVALUE         193 time.c         typedef VALUE WIDEVALUE;