6.7.2 InstSwitch