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