#include <string.h>

void f(void) {
  char buf[100];
  memcpy(buf, "hello, world", 1024);
}

int main() {
  f();
  return 0;
}