Module priority 

Enums

Priority

Dispatch priority read from the priority:high and priority:low labels

Functions

acquire_dispatch_slot

A regular slot, or for a high priority task the extra slot when every regular slot is busy

is_priority_label

sort_by_priority

Highest priority first, arrival order kept inside a priority