Index: benchmark/size/size.cfa
===================================================================
--- benchmark/size/size.cfa	(revision ce9338c60cd488f7ba464e95d52c31e4204188b9)
+++ benchmark/size/size.cfa	(revision e49b6f5e7fc5e6264cb734f9692629463478f932)
@@ -2,7 +2,7 @@
 
 int main(){
-	printf("Coroutine : %zu bytes\n", sizeof( $coroutine ));
-	printf("Monitor   : %zu bytes\n", sizeof( $monitor   ));
-	printf("Thread    : %zu bytes\n", sizeof( $thread    ));
+	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    ));