PushDot            78 third_party/re2/re2/parse.cc   bool PushDot();
PushDot          2040 third_party/re2/re2/parse.cc         if (!ps.PushDot())