1#include <string.h>
2
3char* __stpcpy(char*, const char*);
4
5char* strcpy(char* restrict dest, const char* restrict src) {
6#if 1
7    __stpcpy(dest, src);
8    return dest;
9#else
10    const unsigned char* s = src;
11    unsigned char* d = dest;
12    while ((*d++ = *s++))
13        ;
14    return dest;
15#endif
16}
17