[  872.437793][T28912] tun: Universal TUN/TAP device driver, 1.6
[  875.759268][T28943] packetdrill (28943) used greatest stack depth: 23968 bytes left
[  880.960548][T29002] packetdrill (29002) used greatest stack depth: 23104 bytes left