Issue #2: gmp re2