wset_new_normal  4399 src/window.c     wset_new_normal (w, make_fixnum (0));
wset_new_normal  4496 src/window.c     wset_new_normal (decode_valid_window (window), size);
wset_new_normal  5048 src/window.c         wset_new_normal (p, new_normal);
wset_new_normal  5123 src/window.c     wset_new_normal (n, normal_size);