gcc/testsuite/gnat.dg/lto11.ads

with Ada.Streams; use Ada.Streams;

package Lto11 is

   type Vector is array (Positive range <>) of Float;

   procedure Write (S : not null access Root_Stream_Type'Class; V : Vector);

end Lto11;