public override string ReadString()
{
System.Text.StringBuilder sb = new System.Text.StringBuilder();
while (true)
{
NeedInput(1);
byte v = buf[pos++];
if (v == 0)
break;
sb.Append((char) v);
}
return sb.ToString();
}
