-- Hello World
with Text_IO;
use Text_IO;

procedure HelloWorld is
begin
Put_Line(„Hello World“);
end HelloWorld;