¹Note that this is not the same as the seed given to tester, which is the seed given to the GMP random number generator.