Index: tests/device/cpu.cfa
===================================================================
--- tests/device/cpu.cfa	(revision cf85f96e20bb883330a745c3e349efa48f6756e8)
+++ tests/device/cpu.cfa	(revision 145dcd5639a55333a3a239964505a9543d512d44)
@@ -15,6 +15,7 @@
 
 
+#include <device/cpu.hfa>
+#include <limits.hfa>
 #include <fstream.hfa>
-#include <device/cpu.hfa>
 #include <stdlib.hfa>
 
@@ -118,5 +119,5 @@
 
 	unsigned found_level = 0;
-	unsigned found = -1u;
+	unsigned found = MAX;
 	for(i; idxs) {
 		unsigned idx = idxs - 1 - i;
@@ -136,5 +137,5 @@
 	}
 
-	/* paranoid */ verify(found != -1u);
+	/* paranoid */ verify(found != MAX);
 	return found;
 }