main :- fn(){
	 printf("Hello!\n");
};
main := 7;