produces:
ch2_truerandom (eucrypt) eucrypt/smg_rsa/Makefile
consumes:
eucrypt_ch12_wrapper_rsa_oaep_c_ada (eucrypt) eucrypt/smg_rsa/Makefile