produces:
eucrypt_ch12_wrapper_rsa_oaep_c_ada
(eucrypt) eucrypt/smg_rsa/include/smg_rsa.h
consumes:
eucrypt_ch13_smg_rng
(eucrypt) eucrypt/smg_rsa/include/smg_rsa.h