cryptol/tests/suiteb/aes-mct-ecb.icry