Searching in verilog/tools/kythe/testdata/include_file_test