#ifndef _RANDOM_H
#define _RANDOM_H

#include <types.h>
void rand_init();

extern uint64_t (*get_random_number)();
#endif