../../Task/Mutual-recursion/Seed7