drop_overlay     3700 src/buffer.c         drop_overlay (XOVERLAY (overlay));
drop_overlay     3722 src/buffer.c     drop_overlay (XOVERLAY (overlay));