produces:
ffa_ch16_miller_rabin.kv (ffa) ffa/ffacalc/ffa_calc.adb
consumes:
ffa_ch17_peh.kv (ffa) ffa/ffacalc/ffa_calc.adb