Index: src/libcfa/stdlib
===================================================================
--- src/libcfa/stdlib	(revision bfc0f401d6e87245b384a77e908b35f54769f4ba)
+++ src/libcfa/stdlib	(revision 70e4895df852f87e5e85f88a39cff538fc975fdc)
@@ -10,6 +10,6 @@
 // Created On       : Thu Jan 28 17:12:35 2016
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Mon Oct 30 17:30:09 2017
-// Update Count     : 242
+// Last Modified On : Mon Oct 30 22:43:03 2017
+// Update Count     : 244
 //
 
@@ -213,20 +213,20 @@
 //---------------------------------------
 
-void rand48seed( long int s );
-char rand48( void );
-char rand48( char l, char u );
-int rand48( void );
-unsigned int rand48( void );
-unsigned int rand48( unsigned int u );
-unsigned int rand48( unsigned int l, unsigned int u );
-long int rand48( void );
-unsigned long int rand48( void );
-unsigned long int rand48( unsigned long int u );
-unsigned long int rand48( unsigned long int l, unsigned long int u );
-float rand48( void );
-double rand48( void );
-float _Complex rand48( void );
-double _Complex rand48( void );
-long double _Complex rand48( void );
+void random_seed( long int s );
+char random( void );
+char random( char l, char u );
+int random( void );
+unsigned int random( void );
+unsigned int random( unsigned int u );
+unsigned int random( unsigned int l, unsigned int u );
+//long int random( void );
+unsigned long int random( void );
+unsigned long int random( unsigned long int u );
+unsigned long int random( unsigned long int l, unsigned long int u );
+float random( void );
+double random( void );
+float _Complex random( void );
+double _Complex random( void );
+long double _Complex random( void );
 
 //---------------------------------------