UCS4Char¶UCS Unicode character (unsigned 32 bit word).Declaration¶Source position: systemh.inc line 568type UCS4Char = 0..$10ffff;