wset_old_pointm  4379 src/window.c     wset_old_pointm (p, Qnil);
wset_old_pointm  4403 src/window.c     wset_old_pointm (w, Fmake_marker ());