[   96.282967][  T717] packetdrill (717) used greatest stack depth: 23040 bytes left