Lamport's_bakery_algorithm loading ...