Index: libcfa/prelude/sync-builtins.cf
===================================================================
--- libcfa/prelude/sync-builtins.cf	(revision 199894e042dce629e490aa17f2069f93a223120c)
+++ libcfa/prelude/sync-builtins.cf	(revision 70f97c8afc8f67948e201bda2e96e6de8bd31a31)
@@ -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);