[   99.040166][  T716] packetdrill (716) used greatest stack depth: 24320 bytes left