produces:
ffa_ch16_miller_rabin.kv (ffa) ffa/libffa/fz_barr.adb
consumes:
ffa_ch21a_ter_ch14_ch20_errata.kv (ffa) ffa/libffa/fz_barr.adb