produces:
eucrypt_ch12_wrapper_rsa_oaep_c_ada (eucrypt) eucrypt/smg_keccak/smg_oaep.ads
consumes:
eucrypt_ch16_bytestream_keccak (eucrypt) eucrypt/smg_keccak/smg_oaep.ads