#include "kprintf.h"
#include <stddef.h>
#include <stdint.h>

void *memcpy(void *dest, const void *src, size_t n)
{
	uint16_t *c1 = (uint16_t *)dest;
	const uint16_t *c2 = (const uint16_t *)src;

	for (size_t i = 0; i < n; i++)
		c1[i] = c2[i];
	kprintf(0, "c1: %s\n", c1);
	return c1;
}