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