-- { dg-do run }
-- { dg-options "-O3" }

with Opt75_Pkg; use Opt75_Pkg;

procedure Opt75 is
begin
  null;
end;