#include char *strcpy(char *restrict dest, const char *restrict src) { __stpcpy(dest, src); return dest; } #ifdef TEST int main(void) { return 0; } #endif