start_section start1 : cyclic_task_clock : clock; cyclic_task_clock:=0; end section; priority_section prio1 : cyclic_task_clock:=cyclic_task_clock+1; put(cyclic_task_clock); end section; election_section elect1 : return min_to_index(tasks.priority); end section;