[c] Execution time of C program