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