[   12.995595][  T251] tun: Universal TUN/TAP device driver, 1.6
[   18.081129][  T282] packetdrill (282) used greatest stack depth: 24376 bytes left
[   30.167154][  T380] packetdrill (380) used greatest stack depth: 24248 bytes left