1void write_char(char);
2int len(char*);
3void 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