// SUT is a server. First it sends 1000 B to the peer, which are acked, then 8000 B which should be
// segmented.

0.000 socket(..., SOCK_STREAM, IPPROTO_TCP) = 3
0.000 setsockopt(3, SOL_SOCKET, SO_REUSEADDR, [1], 4) = 0
0.000 bind(3, ..., ...) = 0
0.000 listen(3, 1) = 0

0.100 < S 0:0(0) win 32792 <mss 1000,sackOK,nop,nop,nop,wscale 7>
0.100 > S. 0:0(0) ack 1 <...>
0.150 < . 1:1(0) ack 1 win 257
0.150 accept(3, ..., ...) = 4

0.160 write(4, ..., 1000) = 1000
+0 > . 1:1001(1000) ack 1
+0 < . 1:1(0) ack 1001

0.180 write(4, ..., 8000) = 8000
+0 > . 1001:2001(1000) ack 1
+0 > . 2001:3001(1000) ack 1
+0 > . 3001:4001(1000) ack 1
+0 > . 4001:5001(1000) ack 1
+0 > . 5001:6001(1000) ack 1

+0 < . 1:1(0) ack 6001 win 257


+0 > . 6001:7001(1000) ack 1
+0 > . 7001:8001(1000) ack 1
+0 > . 8001:9001(1000) ack 1

+0 < . 1:1(0) ack 9001 win 257

0.300 close(4) = 0
0.300 > F. 9001:9001(0) ack 1
+0 < F. 1:1(0) ack 9002 win 257
+0 > . 9002:9002(0) ack 2