private int write_pdf_stream_length(int len) { string buffer = string.Format(CultureInfo.InvariantCulture, "{0}", len); int written = writeToFile(buffer); written += writeToFile("\n"); return written; }