start_section :
end section;


priority_section :
put("tasks.capacity=");
	put(tasks.capacity(0));
put("tasks.activation_number=");
	put(tasks.activation_number(0));
put("tasks.rest_of_capacity=");
	put(tasks.rest_of_capacity(0));
put("tasks.used_capacity=");
	put(tasks.used_capacity(0));
put("tasks.used_cpu=");
	put(tasks.used_cpu(0));
end section;

election_section :
	return max_to_index(tasks.priority);
end section;