[  840.699835][T28584] tun: Universal TUN/TAP device driver, 1.6
[  843.830554][T28615] packetdrill (28615) used greatest stack depth: 23984 bytes left
[  848.804818][T28674] packetdrill (28674) used greatest stack depth: 23664 bytes left