// This code is Public Domain. Use, modify, and redistribute at will.
// ----------------------------------------------------------------------------
-#include <string.h>
+#include <__size_t.h>
void * memcpy( void * restrict dest, const void * restrict src, size_t n )
{