284a285,286
> if (badMode((OperatingMode)mode))
> return new Unknown(machInst);