#ifndef RANDOM_H
#define RANDOM_H

#include <stdint.h>

void set_random_seed(uint32_t seed);
uint32_t random_u32(void);
uint32_t random_range(uint32_t max);
void advance_state(uint32_t n);

#endif