[ 85.791268][ T713] packetdrill (713) used greatest stack depth: 22392 bytes left