This shows me that I misunderstood how %n works. I had imagined that, at execution, the arguments were copied into a temporary list which the pattern then consumed, and that %n "unshifted" its value onto the head of the list, to be the next thing to be consumed. I didn't realize that the value was actually plugged into the next variable.