wset_prev_buffers 6668 src/alloc.c      wset_prev_buffers
wset_prev_buffers 2318 src/window.c     wset_prev_buffers (decode_live_window (window), prev_buffers);
wset_prev_buffers 4390 src/window.c     wset_prev_buffers (w, Qnil);