#include char *strcpy(char *restrict dest, const char *restrict src) { __stpcpy(dest, src); return dest; }