#ifndef _RANDOM_H_
#define _RANDOM_H_
#include <stdint.h>
void randomInit(void);
uint32_t getRandom(void);
#endif