push_dummy_failure  781 regex.cpp      	case push_dummy_failure:
push_dummy_failure 2422 regex.cpp                        BUF_PUSH (push_dummy_failure);
push_dummy_failure 3254 regex.cpp              case push_dummy_failure:
push_dummy_failure 4820 regex.cpp              case push_dummy_failure: