[  127.238703][  T800] packetdrill (800) used greatest stack depth: 24240 bytes left