static void Main(string[] args)
{
VTDGen vg = new VTDGen();
if (vg.parseFile("mix3.xml", true))
{
vg.writeSeparateIndex("mix32.vtd");
}
VTDNav vn = vg.loadSeparateIndex("mix3.xml", "mix3.vtd");
AutoPilot ap = new AutoPilot(vn);
ap.selectXPath("//*");
int i;
while ((i = ap.evalXPath()) != -1)
{
Console.WriteLine("element name: " + vn.toString(i));
}
}