Stdio.Buffer, need a way to revisit old positions in the output