[   77.875625][  T716] packetdrill (716) used greatest stack depth: 24056 bytes left