A *correct* implementation of regular expression matching (using NFAs).