#import <stdio.h>
int main()
{
    char name[10] = "Laura";

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