[  126.016000][  T800] packetdrill (800) used greatest stack depth: 24688 bytes left