[   86.669419][  T824] packetdrill (824) used greatest stack depth: 24056 bytes left