Index: libcfa/src/device/cpu.cfa
===================================================================
--- libcfa/src/device/cpu.cfa	(revision 64780c1ece911b7999c31110b0fe9f7efe4c3188)
+++ libcfa/src/device/cpu.cfa	(revision 45fde9f4fa966516f7ec2ec41a39a93b864e08d2)
@@ -340,5 +340,14 @@
 		[maps, map_cnt] =  distinct_llcs(cpus, cache_levels - llc, raw);
 
-		/* paranoid */ verify((map_cnt * raw[0][cache_levels - llc].width) == cpus);
+		#if defined(__CFA_WITH_VERIFY__)
+		{
+			unsigned width = 0;
+			for(i; map_cnt) {
+				const char * _;
+				width += read_width(maps[i], strlen(maps[i]), &_);
+			}
+			verify(width == cpus);
+		}
+		#endif
 
 		// Get mappings from cpu to cache instance