private string ReadName(DumpReader reader)
{
string name = reader.FindReadLineWord();
while (reader.FindPeekLineWord() != "//")
{
name += " " + reader.FindReadLineWord();
}
return(name);
}