1.1 maekawa 1: with text_io; use text_io; 2: 3: package integer_io is new text_io.integer_io(integer);