[  127.817590][  T800] packetdrill (800) used greatest stack depth: 23944 bytes left