[   80.080115][  T716] packetdrill (716) used greatest stack depth: 22792 bytes left