[   85.187150][  T716] packetdrill (716) used greatest stack depth: 23952 bytes left