1 typedef struct {
2     int x;
3 } FILE;
4 extern void fputs (const char *, FILE *);
5 
6 int mView;
foo(FILE * out,int aIndent)7 void foo (FILE * out, int aIndent)
8 {
9     if (0 != mView) {
10 	aIndent++;
11 	aIndent--;
12 	{
13 	    int __t = aIndent;
14 	    while (--__t >= 0)
15 		fputs ("  ", out);
16 	}
17 
18     } {
19 	int __t = aIndent;
20 	while (--__t >= 0)
21 	    fputs ("  ", out);
22     }
23 }
24