All these functions can raise Unix_error.
returns the CPU-clock associated with the thread
get_process_clock the clock measuring the CPU-time of a process.
get_process_clock
get_thread_clock the clock measuring the CPU-time of the current thread.
get_thread_clock