with text_io; use text_io; procedure hello123 is package int_io is new integer_io(integer); use int_io; --Package text_io contains a generic package integer_io, which needs to be --instantiated with an integer type. It's done this way in Ada to provide i/o --for types derived from (and therefore incompatible with) integer. begin put("Hello world"); new_line; for i in 1..3 loop put(i); new_line; end loop; end hello123;