Symbol: clockevent_set_next_coupled