Index: src/tests/.expect/32/declarationSpecifier.txt
===================================================================
--- src/tests/.expect/32/declarationSpecifier.txt	(revision 0270824d417173d850d0b904d76e8e5873a6ec65)
+++ src/tests/.expect/32/declarationSpecifier.txt	(revision 13de47bcd1133e72e5f8fcdee34f7cbc890ec088)
@@ -628,4 +628,16 @@
     return ((int )___retval_main__i_1);
 }
-int main(int argc, char** argv) { return __main__Fi_iPPCc__1(argc, argv); }
-
+extern void *malloc(long unsigned int __size);
+extern void free(void *__ptr);
+extern void abort(void);
+extern int atexit(void (*__func)(void));
+extern void exit(int __status);
+extern int printf(const char *__restrict __format, ...);
+static inline int invoke_main(int argc, char **argv, char **envp);
+int main(int __argc__i_1, char **__argv__PPc_1, char **__envp__PPc_1){
+    int ___retval_main__i_1;
+    int _tmp_cp_ret0;
+    ((void)(___retval_main__i_1=((_tmp_cp_ret0=invoke_main(__argc__i_1, __argv__PPc_1, __envp__PPc_1)) , _tmp_cp_ret0)) /* ?{} */);
+    ((void)(_tmp_cp_ret0) /* ^?{} */);
+    return ((int )___retval_main__i_1);
+}
Index: src/tests/.expect/32/gccExtensions.txt
===================================================================
--- src/tests/.expect/32/gccExtensions.txt	(revision 0270824d417173d850d0b904d76e8e5873a6ec65)
+++ src/tests/.expect/32/gccExtensions.txt	(revision 13de47bcd1133e72e5f8fcdee34f7cbc890ec088)
@@ -165,3 +165,17 @@
     return ((int )___retval_main__i_1);
 }
-int main(int argc, char** argv) { return __main__Fi_iPPCc__1(argc, argv); }
+static inline int invoke_main(int argc, char* argv[], char* envp[]) { return __main__Fi_iPPCc__1(argc, argv); }
+extern void *malloc(long unsigned int __size);
+extern void free(void *__ptr);
+extern void abort(void);
+extern int atexit(void (*__func)(void));
+extern void exit(int __status);
+extern int printf(const char *__restrict __format, ...);
+static inline int invoke_main(int argc, char **argv, char **envp);
+int main(int __argc__i_1, char **__argv__PPc_1, char **__envp__PPc_1){
+    int ___retval_main__i_1;
+    int _tmp_cp_ret0;
+    ((void)(___retval_main__i_1=((_tmp_cp_ret0=invoke_main(__argc__i_1, __argv__PPc_1, __envp__PPc_1)) , _tmp_cp_ret0)) /* ?{} */);
+    ((void)(_tmp_cp_ret0) /* ^?{} */);
+    return ((int )___retval_main__i_1);
+}
Index: src/tests/.expect/64/declarationSpecifier.txt
===================================================================
--- src/tests/.expect/64/declarationSpecifier.txt	(revision 0270824d417173d850d0b904d76e8e5873a6ec65)
+++ src/tests/.expect/64/declarationSpecifier.txt	(revision 13de47bcd1133e72e5f8fcdee34f7cbc890ec088)
@@ -628,3 +628,17 @@
     return ((int )___retval_main__i_1);
 }
-int main(int argc, char** argv) { return __main__Fi_iPPCc__1(argc, argv); }
+static inline int invoke_main(int argc, char* argv[], char* envp[]) { return __main__Fi_iPPCc__1(argc, argv); }
+extern void *malloc(long unsigned int __size);
+extern void free(void *__ptr);
+extern void abort(void);
+extern int atexit(void (*__func)(void));
+extern void exit(int __status);
+extern int printf(const char *__restrict __format, ...);
+static inline int invoke_main(int argc, char **argv, char **envp);
+int main(int __argc__i_1, char **__argv__PPc_1, char **__envp__PPc_1){
+    int ___retval_main__i_1;
+    int _tmp_cp_ret0;
+    ((void)(___retval_main__i_1=((_tmp_cp_ret0=invoke_main(__argc__i_1, __argv__PPc_1, __envp__PPc_1)) , _tmp_cp_ret0)) /* ?{} */);
+    ((void)(_tmp_cp_ret0) /* ^?{} */);
+    return ((int )___retval_main__i_1);
+}
Index: src/tests/.expect/64/gccExtensions.txt
===================================================================
--- src/tests/.expect/64/gccExtensions.txt	(revision 0270824d417173d850d0b904d76e8e5873a6ec65)
+++ src/tests/.expect/64/gccExtensions.txt	(revision 13de47bcd1133e72e5f8fcdee34f7cbc890ec088)
@@ -165,3 +165,17 @@
     return ((int )___retval_main__i_1);
 }
-int main(int argc, char** argv) { return __main__Fi_iPPCc__1(argc, argv); }
+static inline int invoke_main(int argc, char* argv[], char* envp[]) { return __main__Fi_iPPCc__1(argc, argv); }
+extern void *malloc(long unsigned int __size);
+extern void free(void *__ptr);
+extern void abort(void);
+extern int atexit(void (*__func)(void));
+extern void exit(int __status);
+extern int printf(const char *__restrict __format, ...);
+static inline int invoke_main(int argc, char **argv, char **envp);
+int main(int __argc__i_1, char **__argv__PPc_1, char **__envp__PPc_1){
+    int ___retval_main__i_1;
+    int _tmp_cp_ret0;
+    ((void)(___retval_main__i_1=((_tmp_cp_ret0=invoke_main(__argc__i_1, __argv__PPc_1, __envp__PPc_1)) , _tmp_cp_ret0)) /* ?{} */);
+    ((void)(_tmp_cp_ret0) /* ^?{} */);
+    return ((int )___retval_main__i_1);
+}