int main(const int argc __attribute__((unused)), char **const argv __attribute__((unused))) { return 0; }