1  typedef struct {
       2      int x;
       3  } FILE;
       4  extern void fputs (const char *, FILE *);
       5  
       6  int mView;
       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  }