#include <stdio.h>

void strcpy(char *s, char *t){
	while((*s++ = *t++) != '\0'){
		;
	}
}

int main(){
	char a[] = "hello world";
	char b[] = "hello the world";
	strcpy(a,b);
	return 0;
}