Currently, the XML tokenizer emits an EOF token if there is a tokenizer error. This means that we lose information about what the tokenizer error, and we can't report the error to the client. It probably makes sense to have a special Error token which contains information about the error.