produces:
vdiff_keccak
(vtools) vtools/src/diff.h
consumes: