-- { dg-do compile }

with Varsize3_Pkg1; use Varsize3_Pkg1;

procedure Varsize3_2 is

  Filter : constant Object := True;

begin
  null;
end;