Searching in verilog/tools/kythe/testdata