[   87.406301][  T717] packetdrill (717) used greatest stack depth: 22792 bytes left