[  126.939022][  T800] packetdrill (800) used greatest stack depth: 23632 bytes left