UTF32 encoding/decoding