int main(int argc, char *argv[]) { set_workdir(argv[0]); return v7_main(argc, argv, pre_freeze_init, pre_init, post_init); }
int main(int argc, char *argv[]) { s_argv0 = argv[0]; return v7_main(argc, argv, pre_init, post_init); }