produces:
ffa_ch12_karatsuba_redux.kv (ffa) ffa/ffacalc/ffa_calc.adb
consumes:
ffa_ch13_measure_and_qshifts.kv (ffa) ffa/ffacalc/ffa_calc.adb