extern int invoke_main(int argc, char* argv[], char* envp[]);

int main(int argc, char* argv[], char* envp[]) {
	return invoke_main(argc, argv, envp);
}