produces:
ffa_ch3_shifts.kv
(ffa) ffa/ffademo/demo_ch3.adb
consumes:
ffa_ch15_gcd.kv
(ffa) ffa/ffademo/demo_ch3.adb