Index: libcfa/prelude/bootloader.cf
===================================================================
--- libcfa/prelude/bootloader.cf	(revision 0a061c0cdfdeb60d832f68c1a15164a83849766f)
+++ libcfa/prelude/bootloader.cf	(revision f42a6b855873c132f4969475fb95578812619238)
@@ -3,4 +3,5 @@
 char ** cfa_args_argv;
 char ** cfa_args_envp;
+int cfa_main_returned = 0;
 
 int main(int argc, char* argv[], char* envp[]) {
@@ -8,4 +9,6 @@
 	cfa_args_argv = argv;
 	cfa_args_envp = envp;
-	return invoke_main(argc, argv, envp);
+	int ret = invoke_main(argc, argv, envp);
+	cfa_main_returned = 1;
+	return ret;
 }