pragma Eliminate (p, d);
package Lto5_Pkg is
type t is tagged null record;
procedure d (a : t);
end;