/-- 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 --/