[ 80.279886][ T714] packetdrill (714) used greatest stack depth: 23720 bytes left