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