internal void Debug () {
#if NO
System.Console.Write ("\ttype="+type.ToString()+" start="+start.ToString()+" len="+len.ToString());
if (extype != null)
System.Console.WriteLine (" extype="+extype.ToString());
else
System.Console.WriteLine (String.Empty);
#endif
}
}