An efficient, principled regular expression library
