[   85.537824][  T788] packetdrill (788) used greatest stack depth: 23528 bytes left