pub fn next_state(s: u64) -> u64
One step of the stimulus generator: xorshift64 with shifts 13, 7, 17.