[   87.028638][  T715] packetdrill (715) used greatest stack depth: 23952 bytes left