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