#ifndef RAND_H
#define RAND_H

#include <stdint.h>

uint32_t gen_rand();

#endif