Files
circom-compat/test-vectors/mycircuit2.circom