Links for randomplusplus-tools