[ 141.141087][ T717] secure_seq: tcpv6 isn: 883155133 [ 154.671688][ T790] secure_seq: tcp isn: 454410772 [ 162.491444][ T827] secure_seq: tcpv6 isn: 1609326923 [ 163.074633][ T827] packetdrill (827) used greatest stack depth: 24016 bytes left