produces:
eucrypt_ch15_arbitrary_e (eucrypt) eucrypt/manifest
consumes:
eucrypt_ch16_bytestream_keccak (eucrypt) eucrypt/manifest