wset_prev_buffers 6986 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 4408 src/window.c     wset_prev_buffers (w, Qnil);