produces:
eucrypt_oaep_fix_checks
(eucrypt) eucrypt/smg_keccak/smg_oaep.adb
consumes:
eucrypt_ch12_wrapper_rsa_oaep_c_ada
(eucrypt) eucrypt/smg_keccak/smg_oaep.adb