with text_io;
package int_io is new text_io.integer_io(integer);