extern "C" { static inline int invoke_main(int argc, char* argv[], char* envp[]); }

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