produces:
eucrypt_ch8_bit_keccak
(eucrypt) eucrypt/smg_bit_keccak/tests/smg_bit_keccak-test.adb
consumes: