[staktrace]

I was slightly off; see callahad's description of the algorithm elsewhere in the thread for a better description of what happens.