clock_end         675 src/exec.c         clock_t clock_end = 0;
clock_end         742 src/exec.c                 clock_end = clock();
clock_end         743 src/exec.c             } while(clock_end - clock_begin < CLOCKS_PER_SEC / sys->clocks);