void OutputString (string s) { int size = encoding.GetByteCount (s); if (encbuf.Length < size) encbuf = new byte [size]; size = encoding.GetBytes (s, 0, s.Length, encbuf, 0); output.Write (encbuf, 0, size); }