#pragma once #include "sys/types.h" void random_init(uint64_t seed); uint64_t random_single(void);