The system_clock() API