fprintf(sf, " Total time %6.2fs (%6.2fs elapsed)\n\n",
TICK_TO_DBL(time), TICK_TO_DBL(etime));
fprintf(sf, " %%GC time %5.1f%% (%.1f%% elapsed)\n\n",
fprintf(sf, " Total time %6.2fs (%6.2fs elapsed)\n\n",
TICK_TO_DBL(time), TICK_TO_DBL(etime));
fprintf(sf, " %%GC time %5.1f%% (%.1f%% elapsed)\n\n",