Index: libcfa/src/concurrency/ready_subqueue.hfa
===================================================================
--- libcfa/src/concurrency/ready_subqueue.hfa	(revision c42b8a1098b5adb1a163766aabb8c1e1b5f99fc9)
+++ libcfa/src/concurrency/ready_subqueue.hfa	(revision f134c25237e62e847a0cfdbd127343b461efe880)
@@ -3,5 +3,5 @@
 #define __CFA_NO_SCHED_STATS__
 
-#include "containers/queueLockFree.hfa"
+#include "limits.hfa"
 
 // Intrusives lanes which are used by the relaxed ready queue
@@ -32,15 +32,15 @@
 	/* paranoid */ verify( this.lock );
 	/* paranoid */ verify( node->link.next == 0p );
-	/* paranoid */ verify( node->link.ts   == -1llu  );
+	/* paranoid */ verify( node->link.ts   == MAX  );
 	/* paranoid */ verify( this.prev->link.next == 0p );
-	/* paranoid */ verify( this.prev->link.ts   == -1llu  );
+	/* paranoid */ verify( this.prev->link.ts   == MAX  );
 	if( this.anchor.next == 0p ) {
 		/* paranoid */ verify( this.anchor.next == 0p );
-		/* paranoid */ verify( this.anchor.ts   == -1llu );
+		/* paranoid */ verify( this.anchor.ts   == MAX );
 		/* paranoid */ verify( this.anchor.ts   != 0  );
 		/* paranoid */ verify( this.prev == mock_head( this ) );
 	} else {
 		/* paranoid */ verify( this.anchor.next != 0p );
-		/* paranoid */ verify( this.anchor.ts   != -1llu );
+		/* paranoid */ verify( this.anchor.ts   != MAX );
 		/* paranoid */ verify( this.anchor.ts   != 0  );
 		/* paranoid */ verify( this.prev != mock_head( this ) );
@@ -62,5 +62,5 @@
 	/* paranoid */ verify( this.lock );
 	/* paranoid */ verify( this.anchor.next != 0p );
-	/* paranoid */ verify( this.anchor.ts   != -1llu );
+	/* paranoid */ verify( this.anchor.ts   != MAX );
 	/* paranoid */ verify( this.anchor.ts   != 0  );
 
@@ -71,5 +71,5 @@
 	bool is_empty = this.anchor.next == 0p;
 	node->link.next = 0p;
-	node->link.ts   = -1llu;
+	node->link.ts   = MAX;
 	#if !defined(__CFA_NO_STATISTICS__)
 		this.cnt--;
@@ -80,5 +80,5 @@
 
 	/* paranoid */ verify( node->link.next == 0p );
-	/* paranoid */ verify( node->link.ts   == -1llu  );
+	/* paranoid */ verify( node->link.ts   == MAX  );
 	/* paranoid */ verify( node->link.ts   != 0  );
 	/* paranoid */ verify( this.anchor.ts  != 0  );