[  888.001552][T28704] tun: Universal TUN/TAP device driver, 1.6
[  891.257651][T28735] packetdrill (28735) used greatest stack depth: 23520 bytes left
[  896.500325][T28794] packetdrill (28794) used greatest stack depth: 23312 bytes left