-- { dg-do compile }
with Discr48_Pkg; use Discr48_Pkg;
function Discr48 return Rec_Access is
C : constant Rec := (Count => 1, Seps => (1 .. 0 => Null_XString));
begin
return new Rec'(C);
end;