pub fn splitmix64(x: u64) -> u64
splitmix64 finalizer: the fixed integer hash behind the key-based thinning.