produces:
v_keccak_vtools (v) v/v_quick_start.txt
consumes: