set_overlay_plist 3729 src/alloc.c set_overlay_plist (overlay, plist); set_overlay_plist 3979 src/buffer.c set_overlay_plist