[   84.713583][  T719] packetdrill (719) used greatest stack depth: 24056 bytes left