(do_switch_frame): New argument NORECORD passed to Fselect_window.