[  113.364712][  T717] packetdrill (717) used greatest stack depth: 22512 bytes left