#pragma once
#include <stdint.h>

void RNG_init();

uint32_t RNG_getRandomNumber();