produces:
eucrypt_ch16_bytestream_keccak (eucrypt) eucrypt/smg_keccak/tests/smg_keccak-test.adb
consumes: