-rw-r--r-- 108 saferewrite-20240515/src/apibug_inputt/ref/copy.c raw
#include <inttypes.h>
#include <string.h>

void copy10(uint32_t *y,const uint32_t *x)
{
  memcpy(y,x,40);
}