produces:
v_mod6_99993 (v) v/v_users_manual.txt
consumes:
v_keccak_vtools (v) v/v_users_manual.txt