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