with Text_IO; use Text_IO;
procedure hello is
begin
	Put_Line("Hello world!");
end hello;