#ifndef RANDOM_H_
#define RANDOM_H_

#include <stdint.h>

void random_init(void);
uint32_t random_get(void);

#endif // RANDOM_H_