The idiomatic
void strcpy(char *s, char *t)
{
while (*s++ = *t++)
;
}