Peterson's_algorithm loading ...