[  128.602409][  T800] packetdrill (800) used greatest stack depth: 23416 bytes left