[   86.448338][  T715] packetdrill (715) used greatest stack depth: 24072 bytes left