Index: src/SynTree/FunctionDecl.cc
===================================================================
--- src/SynTree/FunctionDecl.cc	(revision 6c3a988fe7dbaec419f8cc1c6be3085432447a99)
+++ src/SynTree/FunctionDecl.cc	(revision 0270824d417173d850d0b904d76e8e5873a6ec65)
@@ -27,7 +27,8 @@
 	set_isInline( isInline );
 	set_isNoreturn( isNoreturn );
-	// this is a brazen hack to force the function "main" to have C linkage
+	// this is a brazen hack to force the function "main" to have Cforall linkage
+	// because we want to replace the main even if it is inside an extern
 	if ( name == "main" ) {
-		set_linkage( LinkageSpec::C );
+		set_linkage( LinkageSpec::Cforall );
 	} // if
 }