1/* Public domain.  */
2#include <stddef.h>
3
4void *
5memcpy (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}
13