Sequence rewind by send() tested against multiple while loops. #13