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