[  881.202637][T31700] tun: Universal TUN/TAP device driver, 1.6
[  883.731664][T31732] packetdrill (31732) used greatest stack depth: 23168 bytes left