#include <lib9.h>#define	N	10000 char*strcpy(char *s1, char *s2){	char *os1; 	os1 = s1;	while(!memccpy(s1, s2, 0, N)) {		s1 += N;		s2 += N;	}	return os1;}