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