[  122.546878][  T763] packetdrill (763) used greatest stack depth: 24016 bytes left
[  126.712091][  T802] packetdrill (802) used greatest stack depth: 23840 bytes left