produces:
ffa_ch12_karatsuba_redux.kv (ffa) ffa/libffa/ffa.ads
consumes:
ffa_ch13_measure_and_qshifts.kv (ffa) ffa/libffa/ffa.ads