JSRegExpVerify    175 src/objects-debug.cc       JSRegExp::cast(this)->JSRegExpVerify();
JSRegExpVerify   6565 src/objects.h    void JSRegExpVerify();