../../Task/Compound-data-type/Seed7