}

for ( i = 0; i < 10; i ++ ) {

#ifdef INFO

s_0 ++;

s_1 += 4;

#endif

printf("%d\n", rbuff[0]);

rbuff[0] = rbuff[rbuff_n - i];

rbuff[rbuff_n - i] = -1;

max_heapify(rbuff, 0);

}

#ifdef INFO

gettimeofday(&end, NULL);

#endif

#ifdef INFO

fprintf(stderr, "总计[%d]个输入\n总计比较[%d]次\n总计写内存[%d]次\n总计耗时[%0.6fs]\n",

s_2, s_0, s_1, (end.tv_sec * 1000000 + end.tv_usec - begin.tv_sec * 1000000 - begin.tv_usec) / 1000000.0);

#endif

return 0;

}