From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.2 required=5.0 tests=BAYES_00,FREEMAIL_FROM,
	FROM_STARTS_WITH_NUMS autolearn=no autolearn_force=no version=3.4.4
X-Received: by 10.107.27.137 with SMTP id b131mr32634648iob.105.1516284634678;
        Thu, 18 Jan 2018 06:10:34 -0800 (PST)
X-Received: by 10.157.65.183 with SMTP id p52mr219391ote.3.1516284634450; Thu,
 18 Jan 2018 06:10:34 -0800 (PST)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!news.unit0.net!peer02.am4!peer.am4.highwinds-media.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!g80no280452itg.0!news-out.google.com!b73ni1014ita.0!nntp.google.com!g80no280448itg.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Thu, 18 Jan 2018 06:10:34 -0800 (PST)
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=85.245.162.133;
 posting-account=rhqvKAoAAABpikMmPHJSZh4400BboHwT
NNTP-Posting-Host: 85.245.162.133
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <2eaf6de3-ce95-4c69-b22b-441a7ed6d5c9@googlegroups.com>
Subject: implementation of Bounded_String
From: Mehdi Saada <00120260a@gmail.com>
Injection-Date: Thu, 18 Jan 2018 14:10:34 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Body-CRC: 1276386010
X-Received-Bytes: 1448
Xref: reader02.eternal-september.org comp.lang.ada:49977
Date: 2018-01-18T06:10:34-08:00
List-Id: <comp.lang.ada>

I suppose it's obvious but...
If I want to reimplement IO of Bounded_String without relying on Unbounded_String, can I do without getting reading input one character after another ? Has it to do with streams ?

Where can I read GNAT'S implementation of those package ? What's their filename ? I suppose it's the same in mac, linux and windows version.