produces:
vtools_vpatch (vtools) vtools/src/keccak_c.ads
consumes: