70a71
> default: return new Unknown(machInst);