[  827.491812][T28844] tun: Universal TUN/TAP device driver, 1.6
[  830.428111][T28877] packetdrill (28877) used greatest stack depth: 23760 bytes left
[  837.901237][T29011] packetdrill (29011) used greatest stack depth: 23648 bytes left