#include <stdio.h>

int main(void) {
	char *string = "ABCD";
	string = "EFGH";
	printf("%s", string);
}

//https://pt.stackoverflow.com/q/102649/101