[  126.665264][  T800] packetdrill (800) used greatest stack depth: 23984 bytes left