Editing: rewind.awk