- printf(" nt': %08x\n",prng_successor(nt0, 64));
- printf(" nt'': %08x\n",prng_successor(nt0, 96));
+ uint32_t p64 = prng_successor(nt0, 64);
+ uint32_t p64b = prng_successor(nt1, 64);
+
+ printf(" nt': %08x\n", p64);
+ printf(" nt'': %08x\n", prng_successor(p64, 32));
+ clock_t t1 = clock();