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