[   80.232001][  T715] packetdrill (715) used greatest stack depth: 23016 bytes left