# import <stdio.h>

int main(){

	char name[10] = "Laura";

	printf("Hello %s!\n", name);
	return 0;
}