#include <stdio.h>
/*
 * Copy string s2 to s1.  s1 must be large enough.
 * return s1
 */

strcpy(s1, s2)
char *s1, *s2;
{
        char *os1;

        os1 = s1;
        while (*s1++ = *s2++)
                ;
        return(os1);

}

