[  961.372451][  T576] tun: Universal TUN/TAP device driver, 1.6
[  962.904302][  T607] packetdrill (607) used greatest stack depth: 23408 bytes left