The initializer function srand48() sets the high order 32-bits of Xi to the argument seedval.
The choice of initializer for the counter is intended to help defeat this.
