--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/libgcc/memcpy.c	Fri Oct 27 22:46:09 2017 +0900
@@ -0,0 +1,12 @@
+/* Public domain.  */
+#include <stddef.h>
+
+void *
+memcpy (void *dest, const void *src, size_t len)
+{
+  char *d = dest;
+  const char *s = src;
+  while (len--)
+    *d++ = *s++;
+  return dest;
+}