[   31.821721][  T258] tun: Universal TUN/TAP device driver, 1.6
[   42.324251][  T294] packetdrill (294) used greatest stack depth: 23736 bytes left