-- { dg-do compile }
-- { dg-options "-flto" { target lto } }

with Ada.Streams; use Ada.Streams;

package body Lto11 is

   procedure Write
     (S : not null access Root_Stream_Type'Class;
      V : Vector)
   is
      subtype M_SEA is Stream_Element_Array (1 .. V'Size / Stream_Element'Size);
      Bytes : M_SEA;
      for Bytes'Address use V'Address;
      pragma Import (Ada, Bytes);
   begin
      Ada.Streams.Write (S.all, Bytes);
   end;

end Lto11;