Abundant regex, shortest: Avoid multiplication for encoding next iteration's state; length-=16
Abundant regex: Correct a comment