#!/usr/local/bin/tcc -run
#include<stdio.h>

void append(char *s,char c){
	while((*s++) != '\0'); 
		s--;
		*s = c;
	
}

int main(){
	char s[10];
	s[0] = '\0';
	append(s,'a');
	append(s,'b');
	append(s,'c');
	printf("s = %s\n", s);
}