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

with Interfaces;
with Opt61_Pkg; use Opt61_Pkg;

procedure Opt61 is

   use type Interfaces.Integer_64;

   X : constant Int64 := 3125;
   Y : constant Int64 := 5;
   Z : constant Int64 := 10;
   Q, R: Int64;

begin
   Double_Divide (X, Y, Z, Q, R, False);
   if R /= 25 then
     raise Program_Error;
   end if;
end;