125c125
< } else {
---
> } else if ((RT %% 2) == 0) {
126a127,128
> } else {
> return new Unknown(machInst);