471a472,474
> if (RN == 0xf) {
> return new Unknown(machInst);
> }