Re: [sr-dev] Random number generation