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