produces:
eucrypt_ch3_miller_rabin (eucrypt) eucrypt/smg_rsa/truerandom.c
consumes:
eucrypt_ch4_rpng (eucrypt) eucrypt/smg_rsa/truerandom.c