[  128.072369][  T800] packetdrill (800) used greatest stack depth: 23608 bytes left