[  844.016992][T29421] tun: Universal TUN/TAP device driver, 1.6
[  846.982630][T29452] packetdrill (29452) used greatest stack depth: 23712 bytes left
[  863.830637][T29742] packetdrill (29742) used greatest stack depth: 23520 bytes left