[  128.267187][  T800] packetdrill (800) used greatest stack depth: 23568 bytes left