Index: libcfa/prelude/bootloader.cf
===================================================================
--- libcfa/prelude/bootloader.cf	(revision 76acb60978c56c8dc53fd1e2b2ae95443c25a3a6)
+++ libcfa/prelude/bootloader.cf	(revision 6d5790dd84b2536da5da5b3f523d8d9ca53289e3)
@@ -1,3 +1,3 @@
-extern "C" { static inline int invoke_main(int argc, char* argv[], char* envp[]); }
+extern "C" { static inline int invoke_main( int argc, char * argv[], char * envp[]); }
 int cfa_args_argc;
 char ** cfa_args_argv;
@@ -5,10 +5,10 @@
 __attribute__((weak)) extern int cfa_main_returned;
 
-int main(int argc, char* argv[], char* envp[]) {
+int main( int argc, char * argv[], char * envp[] ) {
 	cfa_args_argc = argc;
 	cfa_args_argv = argv;
 	cfa_args_envp = envp;
 	int ret = invoke_main(argc, argv, envp);
-	if(&cfa_main_returned) cfa_main_returned = 1;
+	if( &cfa_main_returned ) cfa_main_returned = 1;
 	return ret;
 }