with
TEXT_IO;
procedure
HELLO
is
begin
TEXT_IO.PUT_LINE (
"Hello, World!"
);
end
HELLO;