produces:
ffa_ch1_genesis.kv (ffa) ffa/ffademo/ffa_io.adb
consumes:
ffa_ch15_gcd.kv (ffa) ffa/ffademo/ffa_io.adb