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