             eos_ = state_.next (ch_);              if (eos_)             {                 // Pointless returning index if at end of string                 throw runtime_error ("Unexpected end of regex "                     "