void string_copy (char *target_ptr, char *source_ptr)
    {
        while ((*target_ptr++ = *source_ptr++) != '\0'); 
    
        /* huom! voitaisiin kirjoittaa myös: */ 
        /* while (*target_ptr++ = *source_ptr++); */
    }