patched re2