#ifndef __RANDOM_H
#define __RANDOM_H
#include <stdint.h>

void InitRandom();
uint32_t GetRandom();

#endif