[   85.487194][  T724] packetdrill (724) used greatest stack depth: 24160 bytes left