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