Re: [DynareDev] Random generator in Dynare