module CPUTime where