HighestPriorityFirstPRE, no debugging