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