produces:
ffa_ch9_exodus.kv
(ffa) ffa/libffa/w_mul.ads
consumes:
ffa_ch10_karatsuba.kv
(ffa) ffa/libffa/w_mul.ads