[  879.236661][T31550] tun: Universal TUN/TAP device driver, 1.6
[  881.811459][T31581] packetdrill (31581) used greatest stack depth: 23504 bytes left
[  896.876135][T31873] packetdrill (31873) used greatest stack depth: 23440 bytes left