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