[   88.640724][  T716] packetdrill (716) used greatest stack depth: 22736 bytes left