[   93.743068][  T831] packetdrill (831) used greatest stack depth: 24056 bytes left