#define __NO_INLINE__
#include <string.h>
__stdargs char *strcpy(char *s1, const char *s2) {
	char *s = s1;
	while ((*s1++ = *s2++)) {
	}
	return s;
}