clock_end         679 src/exec.c         clock_t clock_end = 0;
clock_end         746 src/exec.c                 clock_end = clock();
clock_end         747 src/exec.c             } while(clock_end - clock_begin < CLOCKS_PER_SEC / sys->clocks);