void k_back(char *dest) { while(*dest++); *--dest='\0'; }