drop_overlay     3708 src/buffer.c         drop_overlay (XOVERLAY (overlay));
drop_overlay     3730 src/buffer.c     drop_overlay (XOVERLAY (overlay));