next_overlay_change 3891 src/buffer.c     return make_fixnum (next_overlay_change (XFIXNUM (pos)));
next_overlay_change 1170 src/buffer.h   extern ptrdiff_t next_overlay_change (ptrdiff_t);
next_overlay_change 4243 src/xdisp.c          pos = next_overlay_change (charpos);
next_overlay_change 7352 src/xdisp.c    		&& next_overlay_change (start) == ZV;  /* no overlays */