produces:
vdiff_keccak (vtools) vtools/src/smg_keccak.adb
consumes:
vtools_fixes_bitrate_char_array (vtools) vtools/src/smg_keccak.adb