[  874.257650][T29061] tun: Universal TUN/TAP device driver, 1.6
[  877.212996][T29092] packetdrill (29092) used greatest stack depth: 24144 bytes left
[  881.985951][T29151] packetdrill (29151) used greatest stack depth: 24016 bytes left