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