update_interval   275 src/intervals.h extern INTERVAL update_interval (INTERVAL, ptrdiff_t);
update_interval   360 src/syntax.c             i = update_interval (i, charpos);
update_interval   373 src/syntax.c             i = update_interval (i, charpos);