protected static void write_string(BinaryWriter writer, string s) { int n = s.Length; write_int32_LE(writer, n); byte[] buf = Encoding.ASCII.GetBytes(s); writer.Write(buf); }