wset_new_normal  4381 src/window.c     wset_new_normal (w, make_fixnum (0));
wset_new_normal  4478 src/window.c     wset_new_normal (decode_valid_window (window), size);
wset_new_normal  5031 src/window.c         wset_new_normal (p, new_normal);
wset_new_normal  5106 src/window.c     wset_new_normal (n, normal_size);