// -- internal --
// public
#include "rodeo.h"
// private
#include "rodeo_internal_types.h"

// -- external --
#include "SDL.h"


void
irodeo_random_seed_set(stc64_t seed);

stc64_t*
irodeo_random_seed_get(void);