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