XML_WITH_PUSH     789 third_party/libxml/src/parser.c         case XML_WITH_PUSH:
XML_WITH_PUSH    2919 third_party/libxml/src/xmllint.c     if (xmlHasFeature(XML_WITH_PUSH)) fprintf(stderr, "Push ");