with Text_Io; use Text_Io; procedure Hello is begin Put_Line("Hello world"); end Hello;