((void) argc); ((void) argv);
int main(int argc, char *argv[]) { return 0; }
int main(int argc, char *argv[]) { ((void)argc); ((void)argv); return 0; }