clock_end         687 src/exec.c         CLOCK clock_end = 0;
clock_end         744 src/exec.c                 clock_end = clock();
clock_end         745 src/exec.c             } while(clock_end - clock_begin < CLOCKS_PER_SEC / sys->clocks);