produces:
eucrypt_ch8_bit_keccak
(eucrypt) eucrypt/smg_bit_keccak/smg_bit_keccak.adb
consumes: