Index: libcfa/prelude/builtins.c
===================================================================
--- libcfa/prelude/builtins.c	(revision 8dbfb7e85838167c7235e53538d79e9a3f90a70c)
+++ libcfa/prelude/builtins.c	(revision 77268390ddb05ef67fc889773902ed4219653b46)
@@ -10,6 +10,6 @@
 // Created On       : Fri Jul 21 16:21:03 2017
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Tue Mar 26 14:05:49 2019
-// Update Count     : 84
+// Last Modified On : Tue Mar 26 21:33:54 2019
+// Update Count     : 92
 //
 
@@ -18,4 +18,5 @@
 typedef unsigned long long __cfaabi_abi_exception_type_t;
 
+#include <limits.h>										// CHAR_BIT
 #include "../src/virtual.h"
 #include "../src/exception.h"
@@ -61,9 +62,13 @@
 static inline long double _Complex ?\?( long double _Complex x, _Complex long double y ) { return cpowl( x, y ); }
 
+#define __CFA_BASE_COMP_1__() if ( ep == 1 ) return 1
+#define __CFA_BASE_COMP_2__() if ( ep == 2 ) return ep << (y - 1)
+#define __CFA_EXP_OVERFLOW__() if ( y >= sizeof(y) * CHAR_BIT ) return 0
+
 #define __CFA_EXP__() \
 	if ( y == 0 ) return 1;								/* base case */ \
-	__CFA_BASE_COMP_1__()								/* base case */ \
-	__CFA_BASE_COMP_2__()								/* special case, positive shifting for integral types */ \
-	__CFA_EXP_OVERFLOW__()								/* immediate overflow, negative exponent > 2^size-1 */ \
+	__CFA_BASE_COMP_1__();								/* base case */ \
+	__CFA_BASE_COMP_2__();								/* special case, positive shifting for integral types */ \
+	__CFA_EXP_OVERFLOW__();								/* immediate overflow, negative exponent > 2^size-1 */ \
 	typeof(ep) op = 1;									/* accumulate odd product */ \
 	for ( ; y > 1; y >>= 1 ) {							/* squaring exponentiation, O(log2 y) */ \
@@ -72,8 +77,4 @@
 	} \
 	return ep * op
-
-#define __CFA_BASE_COMP_1__() if ( ep == 1 ) return 1;
-#define __CFA_BASE_COMP_2__() if ( ep == 2 ) return ep << (y - 1);
-#define __CFA_EXP_OVERFLOW__() if ( y >= sizeof(y) * 8 ) return 0;
 
 static inline long int ?\?( int ep, unsigned int y ) {
@@ -106,5 +107,5 @@
 } // ?\?
 
-static inline forall( otype OT | { void ?{}( OT & this, zero_t ); void ?{}( OT & this, one_t ); int ?==?( OT, OT ); OT ?*?( OT, OT ); } )
+static inline forall( otype OT | { void ?{}( OT & this, one_t ); OT ?*?( OT, OT ); } )
 OT ?\?( OT ep, unsigned long int y ) {
 	__CFA_EXP__();