[   95.488009][  T715] packetdrill (715) used greatest stack depth: 23840 bytes left