#include "runtime.h" void *memcpy(void *destination,const void *source,size_t size) { volatile unsigned char *d=destination;const volatile unsigned char *s=source; for(size_t i=0;i