with Ada.Strings.Bounded, Ada.Text_IO.Bounded_IO;
...
package String20 is new Ada.Strings.Bounded.Generic_Bounded_Length (20);
package String20_IO is new Ada.Text_IO.Bounded_IO (String20);
...
S1: String20.Bounded_String;
...
String20_IO.Put (S1);
with Ada.Strings.Bounded, Ada.Text_IO, Ada.Text_IO.Bounded_IO;
...
package String20 is new Ada.Strings.Bounded.Generic_Bounded_Length (20);
package String20_IO is new Ada.Text_IO.Bounded_IO (String20);
...
S1: String20.Bounded_String;
F : Text_IO.File_Type;
...
String20_IO.Put (F, S1);