UTF-32 encoding for JavaScript