Index: translator/Tests/Syntax/Expression.c
===================================================================
--- translator/Tests/Syntax/Expression.c	(revision a32b204359041ff1f6ef505a929495bcfe7a54f3)
+++ translator/Tests/Syntax/Expression.c	(revision a08ba927e920255639a48d814cce47347723392a)
@@ -5,6 +5,6 @@
     // order of evaluation (GCC is different)
 /*
-    i = sizeof( (int){3} );
-    i = sizeof (int){3};
+    i = sizeof( (int) {3} );
+    i = sizeof (int) {3};
 */
     // operators
Index: translator/Tests/Syntax/Forall.c
===================================================================
--- translator/Tests/Syntax/Forall.c	(revision a32b204359041ff1f6ef505a929495bcfe7a54f3)
+++ translator/Tests/Syntax/Forall.c	(revision a08ba927e920255639a48d814cce47347723392a)
@@ -16,5 +16,5 @@
 
 type T1 | { const T1 0; T1 ?+?(T1, T1); T1 ?++(T1); [T1] ?+=?(T1,T1); },
-     T2(type P1, type P2 ) | (type Q, type W){ const Q 0; W ?+?(W, W); Q ?++(W); [Q] ?+=?(W,W); }(T1,T2(T1,f)),
+     T2(type P1, type P2 ) | (type Q, type W) { const Q 0; W ?+?(W, W); Q ?++(W); [Q] ?+=?(W,W); }(T1,T2(T1,f)),
      T3 | sumable(T3);
 
Index: translator/Tests/Syntax/Initialization.c
===================================================================
--- translator/Tests/Syntax/Initialization.c	(revision a32b204359041ff1f6ef505a929495bcfe7a54f3)
+++ translator/Tests/Syntax/Initialization.c	(revision a08ba927e920255639a48d814cce47347723392a)
@@ -32,9 +32,9 @@
 struct quintet { int v, w, x, y, z;};
 
-int foo(){
+int foo() {
   return 4;
 }
 
-int main(){
+int main() {
   foo();
   int i;
Index: translator/Tests/gcc/900516-1.c
===================================================================
--- translator/Tests/gcc/900516-1.c	(revision a32b204359041ff1f6ef505a929495bcfe7a54f3)
+++ translator/Tests/gcc/900516-1.c	(revision a08ba927e920255639a48d814cce47347723392a)
@@ -1,2 +1,2 @@
 /* added 'int' to argument */
-f(int c){ return!(c?2.0:1.0); }
+f(int c) { return!(c?2.0:1.0); }
Index: translator/Tests/gcc/920301-1.c
===================================================================
--- translator/Tests/gcc/920301-1.c	(revision a32b204359041ff1f6ef505a929495bcfe7a54f3)
+++ translator/Tests/gcc/920301-1.c	(revision a08ba927e920255639a48d814cce47347723392a)
@@ -1,2 +1,2 @@
-f(){static void*t[];/*={&&x};*/ x:y:;}
-g(){static unsigned p[5];}
+f() {static void*t[];/*={&&x};*/ x:y:;}
+g() {static unsigned p[5];}
Index: translator/Tests/gcc/920409-1.c
===================================================================
--- translator/Tests/gcc/920409-1.c	(revision a32b204359041ff1f6ef505a929495bcfe7a54f3)
+++ translator/Tests/gcc/920409-1.c	(revision a08ba927e920255639a48d814cce47347723392a)
@@ -1,1 +1,1 @@
-x(){int y;y>0.0?y:y-1;}
+x() {int y;y>0.0?y:y-1;}
Index: translator/Tests/gcc/920409-2.c
===================================================================
--- translator/Tests/gcc/920409-2.c	(revision a32b204359041ff1f6ef505a929495bcfe7a54f3)
+++ translator/Tests/gcc/920409-2.c	(revision a08ba927e920255639a48d814cce47347723392a)
@@ -1,2 +1,2 @@
-double x(){int x1,x2;double v;
+double x() {int x1,x2;double v;
 if (((long)(x1-x2))<1)return -1.0;v=t(v);v=y(1,v>0.0?(int)v:((int)v-1));}
Index: translator/Tests/gcc/920501-1.c
===================================================================
--- translator/Tests/gcc/920501-1.c	(revision a32b204359041ff1f6ef505a929495bcfe7a54f3)
+++ translator/Tests/gcc/920501-1.c	(revision a08ba927e920255639a48d814cce47347723392a)
@@ -1,1 +1,1 @@
-a(){int**b[]={&&c};c:;}
+a() {int**b[]={&&c};c:;}
Index: translator/Tests/gcc/920501-11.c
===================================================================
--- translator/Tests/gcc/920501-11.c	(revision a32b204359041ff1f6ef505a929495bcfe7a54f3)
+++ translator/Tests/gcc/920501-11.c	(revision a08ba927e920255639a48d814cce47347723392a)
@@ -1,1 +1,1 @@
-typedef struct{int s;}S;foo(){int i=(int)&(S){(void*)((int)&(S){1})};}
+typedef struct{int s;}S;foo() {int i=(int)&(S) {(void*)((int)&(S) {1})};}
Index: translator/Tests/gcc/920501-19.c
===================================================================
--- translator/Tests/gcc/920501-19.c	(revision a32b204359041ff1f6ef505a929495bcfe7a54f3)
+++ translator/Tests/gcc/920501-19.c	(revision a08ba927e920255639a48d814cce47347723392a)
@@ -1,1 +1,1 @@
-long long x=0;y(){x=0;}
+long long x=0;y() {x=0;}