Index: libcfa/prelude/sync-builtins.cf
===================================================================
--- libcfa/prelude/sync-builtins.cf	(revision 24d6572fc571b2a894d56a9335edd57899c448c0)
+++ libcfa/prelude/sync-builtins.cf	(revision 4dbdd1d1f8ade34eeee889620372011b6688a9ea)
@@ -206,4 +206,5 @@
 _Bool __sync_bool_compare_and_swap(volatile unsigned __int128 *, unsigned __int128, unsigned __int128,...);
 #endif
+// for all pointer types
 forall(T &) _Bool __sync_bool_compare_and_swap(T * volatile *, T *, T*, ...);
 
@@ -223,4 +224,5 @@
 unsigned __int128 __sync_val_compare_and_swap(volatile unsigned __int128 *, unsigned __int128, unsigned __int128,...);
 #endif
+// for all pointer types
 forall(T &) T * __sync_val_compare_and_swap(T * volatile *, T *, T*,...);
 
@@ -326,4 +328,5 @@
 void __atomic_exchange(volatile unsigned __int128 *, unsigned __int128 *, unsigned __int128 *, int);
 #endif
+// for all pointer types
 forall(T &) T * __atomic_exchange_n(T * volatile *, T *, int);
 forall(T &) void __atomic_exchange(T * volatile *, T **, T **, int);
@@ -359,4 +362,5 @@
 void __atomic_load(const volatile unsigned __int128 *, unsigned __int128 *, int);
 #endif
+// for all pointer types
 forall(T &) T * __atomic_load_n(T * const volatile *, int);
 forall(T &) void __atomic_load(T * const volatile *, T **, int);
@@ -390,4 +394,5 @@
 _Bool __atomic_compare_exchange   (volatile unsigned __int128 *, unsigned __int128 *, unsigned __int128 *, _Bool, int, int);
 #endif
+// for all pointer types
 forall(T &) _Bool __atomic_compare_exchange_n (T * volatile *, T **, T*, _Bool, int, int);
 forall(T &) _Bool __atomic_compare_exchange   (T * volatile *, T **, T**, _Bool, int, int);
@@ -423,4 +428,5 @@
 void __atomic_store(volatile unsigned __int128 *, unsigned __int128 *, int);
 #endif
+// for all pointer types
 forall(T &) void __atomic_store_n(T * volatile *, T *, int);
 forall(T &) void __atomic_store(T * volatile *, T **, int);