#ifndef RANDOM_H #define RANDOM_H #include "ints.h" u64 random_u64(); u64 random_magic(); #endif // RANDOM_H