#include <string.h>
void test() {
  char x[4];
  char *y = "abcd";

  strcpy(x, y);
}