Index: libcfa/prelude/builtins.c
===================================================================
--- libcfa/prelude/builtins.c	(revision 76d3ca627c3ea893099f6a38248fd639209fdfe5)
+++ libcfa/prelude/builtins.c	(revision 466b1c957c4c7a51f484f52d4495189a90998cd0)
@@ -10,6 +10,6 @@
 // Created On       : Fri Jul 21 16:21:03 2017
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Sun Aug  5 21:40:38 2018
-// Update Count     : 20
+// Last Modified On : Sun Mar 10 10:52:50 2019
+// Update Count     : 31
 //
 
@@ -26,15 +26,19 @@
 // increment/decrement unification
 
-static inline forall( dtype T | { T& ?+=?( T&, one_t ); } )
-T& ++? ( T& x ) { return x += 1; }
+static inline forall( dtype T | { T & ?+=?( T &, one_t ); } )
+T & ++? ( T & x ) { return x += 1; }
 
-static inline forall( dtype T | sized(T) | { void ?{}( T&, T ); void ^?{}( T& ); T& ?+=?( T&, one_t ); } )
-T& ?++ ( T& x ) { T tmp = x; x += 1; return tmp; }
+static inline forall( dtype T | sized(T) | { void ?{}( T &, T ); void ^?{}( T & ); T & ?+=?( T &, one_t ); } )
+T & ?++ ( T & x ) { T tmp = x; x += 1; return tmp; }
 
-static inline forall( dtype T | { T& ?-=?( T&, one_t ); } )
-T& --? ( T& x ) { return x -= 1; }
+static inline forall( dtype T | { T & ?-=?( T &, one_t ); } )
+T & --? ( T & x ) { return x -= 1; }
 
-static inline forall( dtype T | sized(T) | { void ?{}( T&, T ); void ^?{}( T& ); T& ?-=?( T&, one_t ); } )
-T& ?-- ( T& x ) { T tmp = x; x -= 1; return tmp; }
+static inline forall( dtype T | sized(T) | { void ?{}( T &, T ); void ^?{}( T & ); T & ?-=?( T &, one_t ); } )
+T & ?-- ( T & x ) { T tmp = x; x -= 1; return tmp; }
+
+// universal typed pointer constant
+
+static inline forall( dtype T ) T * intptr( uintptr_t addr ) { return (T *)addr; }
 
 // exponentiation operator implementation
Index: libcfa/prelude/prelude-gen.cc
===================================================================
--- libcfa/prelude/prelude-gen.cc	(revision 76d3ca627c3ea893099f6a38248fd639209fdfe5)
+++ libcfa/prelude/prelude-gen.cc	(revision 466b1c957c4c7a51f484f52d4495189a90998cd0)
@@ -10,6 +10,6 @@
 // Created On       : Sat Feb 16 08:44:58 2019
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Mon Feb 18 09:47:33 2019
-// Update Count     : 22
+// Last Modified On : Fri Mar  8 16:00:22 2019
+// Update Count     : 26
 // 
 
@@ -287,6 +287,6 @@
 	cout << "forall(ftype FT) FT *			?=?( FT *	   &, zero_t );" << endl;
 	cout << "forall(ftype FT) FT *			?=?( FT * volatile &, zero_t );" << endl;
-	cout << "forall( ftype FT ) void	?{}( FT *	   & );" << endl;
-	cout << "forall( ftype FT ) void	^?{}( FT *	   & );" << endl;
+	cout << "forall(ftype FT) void	?{}( FT *	   & );" << endl;
+	cout << "forall(ftype FT) void	^?{}( FT *	   & );" << endl;
 	cout << endl;
 
@@ -295,11 +295,10 @@
 	cout << "///////////////////////" << endl;
 
-	cout << "forall( ftype FT ) FT *			?=?( FT *&, FT * );" << endl;
-	cout << "forall( ftype FT ) FT *			?=?( FT * volatile &, FT * );" << endl;
-	cout << "forall( ftype FT ) int !?( FT * );" << endl;
-	cout << "forall( ftype FT ) signed int ?==?( FT *, FT * );" << endl;
-	cout << "forall( ftype FT ) signed int ?!=?( FT *, FT * );" << endl;
-	cout << "forall( ftype FT ) FT &		 *?( FT * );" << endl;
-
+	cout << "forall(ftype FT) FT *			?=?( FT *&, FT * );" << endl;
+	cout << "forall(ftype FT) FT *			?=?( FT * volatile &, FT * );" << endl;
+	cout << "forall(ftype FT) int !?( FT * );" << endl;
+	cout << "forall(ftype FT) signed int ?==?( FT *, FT * );" << endl;
+	cout << "forall(ftype FT) signed int ?!=?( FT *, FT * );" << endl;
+	cout << "forall(ftype FT) FT &		 *?( FT * );" << endl;
 
 	for (auto op : pointerOperators) {