package body Lto5_Pkg is
   procedure d (a : t) is
   begin
      null;
   end;
end;