returns k distinct seeds for random number generation

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