int _crunched_reboot_stub(int argc, char **argv, char **envp){return main(argc,argv,envp);}