[  118.221625][  T717] packetdrill (717) used greatest stack depth: 22560 bytes left