#ifndef RANDOM_H_
#define RANDOM_H_

#include <stdint.h>

void randinit();
uint32_t rand32();
uint64_t rand64();

#endif /* RANDOM_H_ */