(BODY for TO_LOOP): Reject UCS-4 input in the range 0xD800..0xDFFF.