filesetup: __init_rand_distribution() can be void