CTL_TIME_t ctl_get_current_time(void);
ctl_get_current_time atomically reads the value of ctl_current_time.