void seed_xoshiro_256_pp(uint64_t input[4]);
uint64_t xoshiro_256_pp(void);