Index: src/libcfa/prelude.cf
===================================================================
--- src/libcfa/prelude.cf	(revision 80d9e49c456e684d40f6c36e46ac4cd4b438d54c)
+++ src/libcfa/prelude.cf	(revision a2a77af4838992788fa316ffed81aaa3a38c4af8)
@@ -273,8 +273,8 @@
 forall( ftype FT ) signed int ?!=?( FT *, FT * );
 
-forall( dtype DT ) signed int ?==?( const volatile DT   *, const volatile void * );
-forall( dtype DT ) signed int ?==?( const volatile void *, const volatile DT * );
-forall( dtype DT ) signed int ?!=?( const volatile DT   *, const volatile void * );
-forall( dtype DT ) signed int ?!=?( const volatile void *, const volatile DT * );
+// forall( dtype DT ) signed int ?==?( const volatile DT   *, const volatile void * );
+// forall( dtype DT ) signed int ?==?( const volatile void *, const volatile DT * );
+// forall( dtype DT ) signed int ?!=?( const volatile DT   *, const volatile void * );
+// forall( dtype DT ) signed int ?!=?( const volatile void *, const volatile DT * );
 
 // forall( dtype DT ) signed int ?==?( const volatile DT *, forall( dtype DT2 )const DT2 * );