1  /* Public domain.  */
       2  #include <stddef.h>
       3  
       4  void *
       5  memcpy (void *dest, const void *src, size_t len)
       6  {
       7    char *d = dest;
       8    const char *s = src;
       9    while (len--)
      10      *d++ = *s++;
      11    return dest;
      12  }