[   88.949743][  T713] packetdrill (713) used greatest stack depth: 24144 bytes left