[   95.428261][  T716] packetdrill (716) used greatest stack depth: 22472 bytes left