Implement DTD intSubset and boompje.model