Depends how you read

except that it matches only once between calls to the reset() operator

Does "matches" mean attempts to match only once (i.e. pos is completely unaffected when it no longer even try to match) or that later attempts to match will automatically fail (and pos is reset unless //c).

Obviously the actual implementation agrees with the former interpretation. And my take is that it seems better that way.