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