[NEST Users] Random seed in NEST 3.0

Dear NEST users, As I understood from the documentation unless you set the seed using nest.rng_seed, nest.random.normal (for instance) should return the same value nest.ResetKernel() nest.rng_seed = 21#69696 v_m = nest.random.normal(mean=-51., std=10.) v_m.GetValue() In this code, I always receive the same v_m value for both cases, if the seed is set as 21 or 69696. The only time it changes is if I remove ResetKernel() call, which then is expected to return different values irrespective of rng_seed. With this code below, I also got the same results irrespective of rng_seed value nest.ResetKernel() nest.rng_seed = 3333#69696 for _ in range(10): v_m = nest.random.normal(mean=-51., std=10.) print(v_m.GetValue()) So, maybe rng_seed doesn't reflect on nest.random.normal distribution. However, then how can I make sure it draws a different set of values? -- Thanks and Regards *Maryada*