[   87.368627][  T716] packetdrill (716) used greatest stack depth: 23968 bytes left