Implement remove-priority as proper instructions.