[   85.382783][  T715] packetdrill (715) used greatest stack depth: 23952 bytes left