[  129.120978][  T800] packetdrill (800) used greatest stack depth: 23400 bytes left