gcc/testsuite/gnat.dg/lto11.ads

   1 with Ada.Streams; use Ada.Streams;
   2
   3 package Lto11 is
   4
   5    type Vector is array (Positive range <>) of Float;
   6
   7    procedure Write (S : not null access Root_Stream_Type'Class; V : Vector);
   8
   9 end Lto11;