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