DUMMY_END_DOCTYPE_DECL_HANDLER_FLAG
| DUMMY_END_DOCTYPE_DECL_HANDLER_FLAG))
dummy_handler_flags |= DUMMY_END_DOCTYPE_DECL_HANDLER_FLAG;