Seed with 42 (didn't port to use_jags script)