[  126.588922][  T800] packetdrill (800) used greatest stack depth: 23960 bytes left