2103a2104
> default: return new Unknown(machInst);
2123a2125
> default: return new Unknown(machInst);
2143a2146
> default: return new Unknown(machInst);
2163a2167
> default: return new Unknown(machInst);
2164a2169
> default: return new Unknown(machInst);