../../Task/Generic-swap/Seed7