Convert a widestring to a UCS-4 encoded string.
Source position: ustringh.inc line 156
function WideStringToUCS4String(
const s: WideString
):UCS4String;