RESET_INTERVAL   1456 src/alloc.c      RESET_INTERVAL (val);
RESET_INTERVAL    942 src/intervals.c 	  RESET_INTERVAL (&newi);