re2 library examples