public void WriteBytesNullTerminated(byte[] buf) { Contract.Requires(WriteSpaceLeft >= buf.Length + 1); WriteBytes(buf, 0, buf.Length); WriteByte(0); }