Microsecond timer in C