Index: benchmark/size/size.cfa
===================================================================
--- benchmark/size/size.cfa	(revision e15683e5523420a94333395f6e1948e3beaa66c5)
+++ benchmark/size/size.cfa	(revision ce9338c60cd488f7ba464e95d52c31e4204188b9)
@@ -1,12 +1,9 @@
-#include <coroutine.hfa>
 #include <kernel.hfa>
-#include <monitor.hfa>
-#include <thread.hfa>
 
 int main(){
-	printf("Coroutine : %ud bytes\n", sizeof( $coroutine ));
-	printf("Monitor   : %ud bytes\n", sizeof( $monitor   ));
-	printf("Thread    : %ud bytes\n", sizeof( $thread    ));
-	printf("Processor : %ud bytes\n", sizeof( processor  ));
-	printf("Cluster   : %ud bytes\n", sizeof( cluster    ));
+	printf("Coroutine : %zu bytes\n", sizeof( $coroutine ));
+	printf("Monitor   : %zu bytes\n", sizeof( $monitor   ));
+	printf("Thread    : %zu bytes\n", sizeof( $thread    ));
+	printf("Processor : %zu bytes\n", sizeof( processor  ));
+	printf("Cluster   : %zu bytes\n", sizeof( cluster    ));
 }