pub open spec fn decode_universal_string(bytes: Seq<u8>) -> Seq<char>
{ Seq::new(bytes.len() / 4, |i: int| universal_code_point(bytes, i) as char) }
Decode four-octet big-endian ISO/IEC 10646 scalar values.