clock_end         688 src/exec.c         CLOCK clock_end = 0;
clock_end         755 src/exec.c                 clock_end = clock();
clock_end         756 src/exec.c             } while(clock_end - clock_begin < CLOCKS_PER_SEC / sys->clocks);