#include <string.h>
char *__stpcpy(char *, const char *);
char *strcpy(char *restrict dest, const char *restrict src)
{
#if 1
__stpcpy(dest, src);
return dest;
#else
const unsigned char *s = src;
unsigned char *d = dest;
while ((*d++ = *s++));
return dest;
#endif
}