private static void WriteLine(Stream @out, char prefix, RawText text, int cur) { @out.WriteByte(Convert.ToByte(prefix)); text.writeLine(@out, cur); @out.WriteByte(Convert.ToByte('\n')); if (cur + 1 == text.size() && text.isMissingNewlineAtEnd()) { @out.Write(NoNewLine, 0, NoNewLine.Length); } }