Index: src/tests/.expect/32/declarationSpecifier.txt
===================================================================
--- src/tests/.expect/32/declarationSpecifier.txt	(revision 35dd180fa5a918887f22a8145dac7984b875d0d4)
+++ src/tests/.expect/32/declarationSpecifier.txt	(revision c2416d541640cec979d736f80c65a3028cca006f)
@@ -633,5 +633,6 @@
 __attribute__ ((__noreturn__,__nothrow__,__leaf__)) extern void abort(void);
 __attribute__ ((__nonnull__(1),__nothrow__,__leaf__)) extern int atexit(void (*__func)(void));
-__attribute__ ((__noreturn__,__nothrow__,__leaf__)) extern void exit(int __status);extern int printf(const char *__restrict __format, ...);
+__attribute__ ((__noreturn__,__nothrow__,__leaf__)) 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){
Index: src/tests/.expect/32/extension.txt
===================================================================
--- src/tests/.expect/32/extension.txt	(revision 35dd180fa5a918887f22a8145dac7984b875d0d4)
+++ src/tests/.expect/32/extension.txt	(revision c2416d541640cec979d736f80c65a3028cca006f)
@@ -1,7 +1,7 @@
-extern void *malloc(unsigned int __size);
-extern void free(void *__ptr);
-extern void abort(void);
-extern int atexit(void (*__func)(void));
-extern void exit(int __status);
+__attribute__ ((__malloc__,__nothrow__,__leaf__)) extern void *malloc(unsigned int __size);
+__attribute__ ((__nothrow__,__leaf__)) extern void free(void *__ptr);
+__attribute__ ((__noreturn__,__nothrow__,__leaf__)) extern void abort(void);
+__attribute__ ((__nonnull__(1),__nothrow__,__leaf__)) extern int atexit(void (*__func)(void));
+__attribute__ ((__noreturn__,__nothrow__,__leaf__)) extern void exit(int __status);
 extern int printf(const char *__restrict __format, ...);
 __extension__ int __a__i_1;
Index: src/tests/.expect/32/gccExtensions.txt
===================================================================
--- src/tests/.expect/32/gccExtensions.txt	(revision 35dd180fa5a918887f22a8145dac7984b875d0d4)
+++ src/tests/.expect/32/gccExtensions.txt	(revision c2416d541640cec979d736f80c65a3028cca006f)
@@ -171,4 +171,5 @@
 __attribute__ ((__nonnull__(1),__nothrow__,__leaf__)) extern int atexit(void (*__func)(void));
 __attribute__ ((__noreturn__,__nothrow__,__leaf__)) 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){