int print_result(const char *msg, Stopwatch& sw) { int msec; msec = sw.msec(); printf("%s %4d msec\n", msg, msec); return msec; }