I'd like a comment about why having `lastgood` pointing a known bad byte is ok. (To check my understanding: the while loop below will always trigger on the first run, so on the first pass `lastgood == i_` and nothing is copied.)