[  872.760108][T32416] tun: Universal TUN/TAP device driver, 1.6
[  875.288028][T32447] packetdrill (32447) used greatest stack depth: 23648 bytes left
[  881.565539][T32581] packetdrill (32581) used greatest stack depth: 23312 bytes left