Index: libcfa/prelude/bootloader.cf
===================================================================
--- libcfa/prelude/bootloader.cf	(revision 199894e042dce629e490aa17f2069f93a223120c)
+++ libcfa/prelude/bootloader.cf	(revision 6cebfefc948a4195311c8d0203ba01ed9c1a1bb3)
@@ -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;
 }