Searching in verilog/tools/kythe/testdata/two_definitions