class HelloWorld is
	fun Main() is
		Builtin.WriteLine("Hello world!");
	end
end