( tentative { [fnc.redraw_state] ; [fnc.vp_switch] } )