107c107
< return new WarnUnimplemented("unimplemented", machInst);
---
> return new Unknown(machInst);
127,128c127,128
< // Permanentl undefined.
< return new WarnUnimplemented("undefined", machInst);
---
> // Permanently undefined.
> return new Unknown(machInst);