168a169,170
> if (badMode((OperatingMode)mode))
> return new Unknown(machInst);