produces:
vtools_vpatch (vtools) vtools/src/keccak_c.adb
consumes:
vdiff_blockwise_read-2 (vtools) vtools/src/keccak_c.adb