Abundant regex: Test for first iteration of loop differently; length-=4

With this change, it would now be possible to allow R=0 to be encoded in subsequent iterations of the loop without triggering the first-iteration exception.