1 void write_char(char);
2 int len(char*);
f(char * a)3 void f(char *a)
4 {
5   int col = 0;
6   int i;
7   void wchar(char c)
8   {
9     if (c == '\t')
10      {
11       do {
12        wchar(' ');
13       } while ((col%8)!=0);
14      }
15     else
16      {
17        write_char (c);
18        col++;
19      }
20   }
21   for(i =0;i<len(a);i++)
22   {
23    wchar(*a);
24   }
25 }
26