static void
copy_string2(char *s1, char *s2, size_t len)
{
    if (len < 16) {
        while(len--) {
	    *s1++ = *s2++;
	}
    }
    else {
        memcpy(s1, s2, len);
    }
}