void ctl_delay(CTL_TIME_t t);
ctl_delay is a convenience function that wraps ctl_timeout_wait to delay task execution for at least t CTL ticks.