[   90.697595][  T717] packetdrill (717) used greatest stack depth: 22616 bytes left