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