1469a1470,1471
> } else if (bits(machInst, 20, 17) == 0x4) {
> return decodeCryptoAES(machInst);