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;