<!DOCTYPE foo [
<!ELEMENT foo EMPTY>
]>
<foo><?pi xxx?></foo>
