produces:
ffa_ch11_tuning_and_api.kv (ffa) ffa/libffa/fz_arith.adb
consumes:
ffa_ch12_karatsuba_redux.kv (ffa) ffa/libffa/fz_arith.adb