<SYSTEM_TASK:>
Solve the following problem using Python, implementing the functions described below, one line at a time
<END_TASK>
<USER_TASK:>
Description:
 def distinct_seeds(k):
 """ returns k distinct seeds for random number generation """

    seeds = []
    for _ in range(k):
        while True:
            s = random.randint(2**32 - 1)
            if s not in seeds:
                break
        seeds.append(s)
    return seeds