#ifndef RANDOM_H__
#define RANDOM_H__

#include "stdint.h"

void RANDOM_Init(void);

uint32_t RANDOM_Get(void);

#endif