#include<stdio.h>
int main()
{
char *s = "Hello world";
printf(s);

int x = 10;
return 0;
}
