UTF32 encoding/decoding
