[   13.075909][  T252] tun: Universal TUN/TAP device driver, 1.6
[   18.156847][  T283] packetdrill (283) used greatest stack depth: 24208 bytes left