#pragma once

uint8_t rng_byte(void);
void rng_bytes(uint8_t *out, uint32_t num_bytes);