[   84.419311][  T717] packetdrill (717) used greatest stack depth: 24008 bytes left