[   88.397683][  T715] packetdrill (715) used greatest stack depth: 24056 bytes left