Thompson's_construction_algorithm loading ...