void printstring(char *s){
        int i;
        for (i=0; s[i]; i++)
	  putc(s[i]);}