"done" checkpoint of iterator_next stores the wrong register in the value profile...