[   85.734547][  T718] packetdrill (718) used greatest stack depth: 24160 bytes left