00001 /* 00002 Copyright (C) 2013- The University of Notre Dame 00003 This software is distributed under the GNU General Public License. 00004 See the file COPYING for details. 00005 */ 00006 00007 void random_init( void );