an efficient, principled regular expression library
