protected void DumpList() {
if (segmentList.Size == 0)
return;
for (int k = 0; k < segmentList.Size; ++k) {
Segment v = segmentList.Get(k);
int len = GetSegmentLength(v);
char[] c = new char[len];
for (int j = 0; j < len; ++j) {
c[j] = (char)(text[v.start + j] & 0xff);
if (c[j] == '\r')
c[j] = '\n';
}
Console.WriteLine("" + v.type + new String(c));
}
}