with text_io;        use text_io;

package natural_io is new text_io.integer_io(natural);