Index: libcfa/src/bits/defs.hfa
===================================================================
--- libcfa/src/bits/defs.hfa	(revision 43784ac7ca1579ca19d7dc8bc4e1423986fd4d97)
+++ libcfa/src/bits/defs.hfa	(revision ea593a3145f5e63bdf6cbcf2b052c10bc7de6cd5)
@@ -31,6 +31,8 @@
 #ifdef __cforall
 #define __cfa_anonymous_object(x) inline struct x
+#define __cfa_dlink(x) inline dlink(x)
 #else
 #define __cfa_anonymous_object(x) struct x __cfa_anonymous_object
+#define __cfa_dlink(x) struct { struct x * next; struct x * back; } __dlink_substitute
 #endif
 
Index: libcfa/src/bits/weakso_locks.hfa
===================================================================
--- libcfa/src/bits/weakso_locks.hfa	(revision 43784ac7ca1579ca19d7dc8bc4e1423986fd4d97)
+++ libcfa/src/bits/weakso_locks.hfa	(revision ea593a3145f5e63bdf6cbcf2b052c10bc7de6cd5)
@@ -21,4 +21,5 @@
 #include "bits/sequence.hfa"
 #include "bits/containers.hfa"
+#include "containers/list.hfa"
 
 struct $thread;
@@ -31,5 +32,5 @@
 
 	// List of blocked threads
-	Sequence( $thread ) blocked_threads;
+	dlist( $thread ) blocked_threads;
 
 	// Count of current blocked threads