[   87.299354][  T715] packetdrill (715) used greatest stack depth: 24120 bytes left