with ada.text_io;
procedure HelloWorld is
begin
 ada.text_io.put_line("Hello, world!");
end HelloWorld;