// section 5.1.2.2.1
main1() {return 0;}
int main2() {return 0;}
int main3(void) {return 0;}
int main4(int argc, char *argv[]) {return 0;}