with text_io;        use text_io;

package integer_io is new text_io.integer_io(integer);