-rw-r--r-- 108 saferewrite-20240515/src/apibug_outpu/ref/copy.c raw#include <inttypes.h> #include <string.h> void copy10(uint32_t *y,const uint32_t *x) { memcpy(y,x,40); }