ADD_EXAMPLE(dist_rand)
ADD_EXAMPLE(random_seed)
