extern void startboot(char*, char**); void_main(char *argv0){	startboot(argv0, &argv0);}