Index: src/libcfa/math.c
===================================================================
--- src/libcfa/math.c	(revision 596f987b3b97b71c5ffd2f87a1b6f90e82761547)
+++ src/libcfa/math.c	(revision 43385ca81ad774a9c833abcd37fa12d82fd1c49c)
@@ -1,10 +1,10 @@
-// 
+//
 // Cforall Version 1.0.0 Copyright (C) 2016 University of Waterloo
 //
 // The contents of this file are covered under the licence agreement in the
 // file "LICENCE" distributed with Cforall.
-// 
-// math.c -- 
-// 
+//
+// math.c --
+//
 // Author           : Peter A. Buhr
 // Created On       : Tue Apr 19 22:23:08 2016
@@ -12,5 +12,5 @@
 // Last Modified On : Sun Apr 24 08:52:31 2016
 // Update Count     : 75
-// 
+//
 
 #include "math"
@@ -34,14 +34,14 @@
 long double remainder( long double x, long double y ) { return remainderl( x, y ); }
 
-// [ int, float ] remquo( float x, float y ) { int quo; x = remquof( x, y, &quo ); return [ quo, x ]; }
+[ int, float ] remquo( float x, float y ) { int quo; x = remquof( x, y, &quo ); return [ quo, x ]; }
 float remquo( float x, float y, int *quo ) { return remquof( x, y, quo ); }
-// [ int, double ] remquo( double x, double y ) { int quo; x = remquo( x, y, &quo ); return [ quo, x ]; }
-// [ int, long double ] remquo( long double x, long double y ) { int quo; x = remquol( x, y, &quo ); return [ quo, x ]; }
+[ int, double ] remquo( double x, double y ) { int quo; x = remquo( x, y, &quo ); return [ quo, x ]; }
+[ int, long double ] remquo( long double x, long double y ) { int quo; x = remquol( x, y, &quo ); return [ quo, x ]; }
 long double remquo( long double x, long double y, int *quo ) { return remquol( x, y, quo ); }
 
-// [ int, float ] div( float x, float y ) { int quo; x = remquof( x, y, &quo ); return [ quo, x ]; }
+[ int, float ] div( float x, float y ) { int quo; x = remquof( x, y, &quo ); return [ quo, x ]; }
 float div( float x, float y, int *quo ) { return remquof( x, y, quo ); }
-// [ int, double ] div( double x, double y ) { int quo; x = remquo( x, y, &quo ); return [ quo, x ]; }
-// [ int, long double ] div( long double x, long double y ) { int quo; x = remquol( x, y, &quo ); return [ quo, x ]; }
+[ int, double ] div( double x, double y ) { int quo; x = remquo( x, y, &quo ); return [ quo, x ]; }
+[ int, long double ] div( long double x, long double y ) { int quo; x = remquol( x, y, &quo ); return [ quo, x ]; }
 long double div( long double x, long double y, int *quo ) { return remquol( x, y, quo ); }
 
@@ -278,8 +278,8 @@
 long double ldexp( long double x, int exp2 ) { return ldexpl( x, exp2 ); }
 
-// [ float, float ] modf( float x ) { float i; x = modff( x, &i ); return [ i, x ]; }
+[ float, float ] modf( float x ) { float i; x = modff( x, &i ); return [ i, x ]; }
 float modf( float x, float *i ) { return modff( x, i ); }
-// [ double, double ] modf( double x ) { double i; x = modf( x, &i ); return [ i, x ]; }
-// [ long double, long double ] modf( long double x ) { long double i; x = modfl( x, &i ); return [ i, x ]; }
+[ double, double ] modf( double x ) { double i; x = modf( x, &i ); return [ i, x ]; }
+[ long double, long double ] modf( long double x ) { long double i; x = modfl( x, &i ); return [ i, x ]; }
 long double modf( long double x, long double *i ) { return modfl( x, i ); }
 
Index: src/libcfa/stdlib.c
===================================================================
--- src/libcfa/stdlib.c	(revision 596f987b3b97b71c5ffd2f87a1b6f90e82761547)
+++ src/libcfa/stdlib.c	(revision 43385ca81ad774a9c833abcd37fa12d82fd1c49c)
@@ -5,5 +5,5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// algorithm.c -- 
+// algorithm.c --
 //
 // Author           : Peter A. Buhr
@@ -141,5 +141,5 @@
 	if ( sscanf( ptr, "%Lf%Lfi", &re, &im ) == EOF ) {}
 	return re + im * _Complex_I;
-}	
+}
 
 int strto( const char * sptr, char ** eptr, int base ) {
@@ -213,6 +213,6 @@
 //---------------------------------------
 
-// forall( otype T | { T ?/?( T, T ); T ?%?( T, T ); } )
-// [ T, T ] div( T t1, T t2 ) { return [ t1 / t2, t1 % t2 ]; }
+forall( otype T | { T ?/?( T, T ); T ?%?( T, T ); } )
+[ T, T ] div( T t1, T t2 ) { return [ t1 / t2, t1 % t2 ]; }
 
 //---------------------------------------