char * strncpy1(char *s, char *t, int n) {
    int k;
    for(k=0;k<n&&(*s++=*t++);k++)
        ;
    return s;
}