#include <stddef.h>

/* Copy one region of memory to another */
void *
memcpy(void *dest, void *src, size_t n)
{
	unsigned char *a = (unsigned char *) dest,
	              *b = (unsigned char *) src;
	while (n-- > 0)
		*a++ = *b++;
	return dest;
}