[  133.231969][  T717] packetdrill (717) used greatest stack depth: 23664 bytes left