#include <stddef.h>

void memcpy_gcc (char * restrict d, const char * restrict s, size_t n) {
  size_t i;
  for (i = 0; i < n; i++)
    d[i]=s[i];
}