overlay_end       932 src/buffer.c     modify_overlay (ov->buffer, overlay_start (ov), overlay_end (ov));
overlay_end      1418 src/buffer.h     return overlay_end (XOVERLAY (ov));