Rule_of_mutual_exclusion loading ...