1 2 3 4 5 6
pragma Eliminate (p, d); package Lto5_Pkg is type t is tagged null record; procedure d (a : t); end;