/-- Tests for the 16-bit library with UTF-16 support only */

< forbid W

/bad/8
    \x{d800}

/short/8
    \P\P\x{d800}

/-- End of testinput24 --/