void prot() { if (++caught == n) { caught = 0; n = benchmp_interval(benchmp_getstate()); } }
static void interval(int x) { if (++caught == n) { caught = 0; n = benchmp_interval(benchmp_getstate()); } setitimer(ITIMER_REAL, &value, NULL); }