unsigned ctl_time_increment;
ctl_time_increment contains the value that ctl_current_time is incremented when ctl_increment_tick_from_isr is called.