source: libcfa/prelude/bootloader.cf @ a3769cc

extern "C" { static inline int invoke_main(int argc, char* argv[], char* envp[]); }
int cfa_args_argc;
char ** cfa_args_argv;
char ** cfa_args_envp;
int cfa_main_returned = 0;

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);
        cfa_main_returned = 1;
        return ret;
}