new file mode 100644

@@ -0,0 +1,11 @@

+#include <string.h>

+

+void f(void) {

+  char buf[100];

+  memcpy(buf, "hello, world", 1024);

+}

+

+int main() {

+  f();

+  return 0;

+}