(root)/
gcc-13.2.0/
gcc/
testsuite/
gnat.dg/
opt61_pkg.ads
with Interfaces;

package Opt61_Pkg is

   subtype Int64 is Interfaces.Integer_64;

   procedure Double_Divide
     (X, Y, Z : Int64;
      Q, R    : out Int64;
      Round   : Boolean);

end Opt61_Pkg;