produces:
eucrypt_ch12_wrapper_rsa_oaep_c_ada (eucrypt) eucrypt/README
consumes:
eucrypt_keccak_bitrate_fix (eucrypt) eucrypt/README