produces:
ch1_mpi (eucrypt) eucrypt/mpi/mpi-bit.c
consumes:
eucrypt_ch3_miller_rabin (eucrypt) eucrypt/mpi/mpi-bit.c