[   80.358344][  T715] packetdrill (715) used greatest stack depth: 22792 bytes left