added an example from the man page for CLOCK_GETCPUCLOCKID(3)