#ifndef RANDOM_H
#define RANDOM_H

#include "uint32.h"

extern uint32 random_in[4];
extern uint32 random_t[16];
extern int random_pos;
extern uint32 random_fill();

#define RANDOM (random_pos ? random_t[--random_pos] : random_fill())

#endif
