[  885.276651][T28798] tun: Universal TUN/TAP device driver, 1.6
[  888.222797][T28830] packetdrill (28830) used greatest stack depth: 24080 bytes left
[  902.830188][T29092] packetdrill (29092) used greatest stack depth: 24016 bytes left