../../Task/Integer-comparison/Seed7