with Text_IO; procedure Hello_World is begin Text_IO.Put_line("Hello World"); end Hello_World;