A timing program in C