produces:
eucrypt_keccak_bitrate_fix (eucrypt) eucrypt/smg_keccak/smg_keccak.adb
consumes:
eucrypt_ch16_bytestream_keccak (eucrypt) eucrypt/smg_keccak/smg_keccak.adb