internal static void WriteAsciiString(Stream s, string str) { WriteInt32(s, str.Length); foreach (char c in str) { s.WriteByte((byte) (c & 0x7F)); } }