
/*
The following function copies a zero-terminated string pointed by *src into *dest
*/
void strcpy(char *dest, char *src)
{
    while (1)                 // infinite loop begins
    {
        *dest = *src;         // copy one character from *dest to *src
        if (*dest == ' ')    // if the copied character is zero    
            return;           // abort the loop and return

        ++dest;               // increment destination pointer
        ++src;                // increment source pointer
    }
}