Typed cases for instructions in Test3.