An input stream with two independent mark/reset points