duplicate         707 regex.cpp      	case duplicate:
duplicate        2775 regex.cpp                    BUF_PUSH_2 (duplicate, c1);
duplicate        3151 regex.cpp      	case duplicate:
duplicate        4393 regex.cpp              case duplicate:
duplicate        5317 regex.cpp          case duplicate: