produces:
zfp_4_assert (zfp) zfp/adainclude/s-assert.adb
consumes: