[  116.711281][  T717] packetdrill (717) used greatest stack depth: 23904 bytes left