election_section :
        return min_to_index(tasks.used_cpu);
end section;