#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
}