/*
 * 'dev_urandom.h' created: Sun Oct 13 00:32:41 2002
 *
 * Copyright 2002 by Lubomir Host <8host AT pauli.fmph.uniba.sk>
 *
 * License: GNU GPL (GNU Public License)
 *
 */

/* $Platon$ */

#ifndef DEV_URANDOM_H
#  define DEV_URANDOM_H

#include "main.h"
#include "devices.h"

extern int     open_dev_urandom (void);
extern Real_t  read_dev_urandom (void);
extern int    close_dev_urandom (void);

extern RNG_device_t rng_dev_urandom;

#endif /* ifndef DEV_URANDOM_H */