581a582,584
> if (bits(machInst, 15, 12) != 0xf) {
> return new Unknown(machInst);
> }
612,613c615,617
< }
< {
---
> } else if (bits(op2, 3) == 0) {
> return new Unknown(machInst);
> } else {