[   88.032141][  T715] packetdrill (715) used greatest stack depth: 23488 bytes left