Links for random-number-generator