Index: libcfa/src/stdlib.hfa
===================================================================
--- libcfa/src/stdlib.hfa	(revision 92211d92c6ec040dbeac6af717baf10d4901a037)
+++ libcfa/src/stdlib.hfa	(revision 3770b878b87dbf362149f41eaf747963e99f1456)
@@ -10,6 +10,6 @@
 // Created On       : Thu Jan 28 17:12:35 2016
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Sat Sep  2 18:29:35 2023
-// Update Count     : 780
+// Last Modified On : Sun Oct  8 09:18:28 2023
+// Update Count     : 789
 //
 
@@ -431,5 +431,5 @@
 	uint32_t seed;										// current seed
 	PRNG_STATE_32_T state;								// random state
-}; // PRNG
+}; // PRNG32
 
 static inline {
@@ -442,5 +442,8 @@
 	uint32_t prng( PRNG32 & prng, uint32_t l, uint32_t u ) __attribute__(( warn_unused_result )) { return prng( prng, u - l + 1 ) + l; } // [l,u]
 	uint32_t calls( PRNG32 & prng ) __attribute__(( warn_unused_result )) with( prng ) { return callcnt; }
-} // distribution
+	void copy( PRNG32 & dst, PRNG32 & src ) { dst = src; } // checkpoint PRNG state, use autogen assignment
+} // distribution
+void ?{}( PRNG32 &, PRNG32 & ) = void;					// no copy, remove autogen copy constructor
+PRNG32 & ?=?( PRNG32 &, const PRNG32 ) = void;			// no assignment, remove autogen assignment
 
 struct PRNG64 {
@@ -448,5 +451,5 @@
 	uint64_t seed;										// current seed
 	PRNG_STATE_64_T state;								// random state
-}; // PRNG
+}; // PRNG64
 
 static inline {
@@ -459,5 +462,8 @@
 	uint64_t prng( PRNG64 & prng, uint64_t l, uint64_t u ) __attribute__(( warn_unused_result )) { return prng( prng, u - l + 1 ) + l; } // [l,u]
 	uint64_t calls( PRNG64 & prng ) __attribute__(( warn_unused_result )) with( prng ) { return callcnt; }
-} // distribution
+	void copy( PRNG64 & dst, PRNG64 & src ) { dst = src; } // checkpoint PRNG state, use autogen assignment
+} // distribution
+void ?{}( PRNG64 &, PRNG64 & ) = void;					// no copy, remove autogen copy constructor
+PRNG64 & ?=?( PRNG64 &, const PRNG64 ) = void;			// no assignment, remove autogen assignment
 
 // Set default random-generator size.