PUSH_LEAVE_EXPR  10595 third_party/libxml/src/xpath.c 	    PUSH_LEAVE_EXPR(XPATH_OP_ROOT, 0, 0);
PUSH_LEAVE_EXPR  10597 third_party/libxml/src/xpath.c 	    PUSH_LEAVE_EXPR(XPATH_OP_NODE, 0, 0);
PUSH_LEAVE_EXPR  10636 third_party/libxml/src/xpath.c 	PUSH_LEAVE_EXPR(XPATH_OP_NODE, 0, 0);