<!DOCTYPE doc [
<!ELEMENT doc (#PCDATA)>
]>
<doc>&#xD800;</doc>