OVERLAY_PLIST     671 src/buffer.c                                           Fcopy_sequence (OVERLAY_PLIST (ov)));
OVERLAY_PLIST    3795 src/buffer.c     return Fcopy_sequence (OVERLAY_PLIST (overlay));