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