+ int cranks = 6;
+
+#define LCG64(x, seed) ((x) * 6906969069ULL ^ (seed))
+
+ state->s1 = __seed(LCG64((2^31) + (2^17) + (2^7), seed), 1);
+ state->s2 = __seed(LCG64(state->s1, seed), 7);
+ state->s3 = __seed(LCG64(state->s2, seed), 15);
+ state->s4 = __seed(LCG64(state->s3, seed), 33);
+ state->s5 = __seed(LCG64(state->s4, seed), 49);
+
+ while (cranks--)
+ __rand64(state);