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