public static void WriteString(Stream stream, string val) { WriteBytes (stream, Encoding.UTF8.GetBytes (val)); }