prng.c:40:10:splitMix64 32 static