../../Task/Compile-time-calculation/Seed7