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