-- { dg-do compile }

with Varsize3_Pkg1; use Varsize3_Pkg1;

procedure Varsize3_5 is

  Filter : constant Arr := True.E;

begin
  null;
end;