produces:
ch1_mpi (eucrypt) eucrypt/mpi/bin/README
consumes:
eucrypt_ch12_wrapper_rsa_oaep_c_ada (eucrypt) eucrypt/mpi/bin/README