Type Definition ThreadCPUClock
os_clock
type ThreadCPUClock = PosixClock;
A type alias for compatibility with Mach