AT&T Research regex test suite