produces:
eucrypt_ch6_keccak_permutations
(eucrypt) eucrypt/smg_keccak/tests/testvectorszero.txt
eucrypt_ch8_bit_keccak
(eucrypt) eucrypt/smg_bit_keccak/tests/testvectorszero.txt
keksum_genesis_3
(keksum) testvectorszero.txt
consumes: