(root)/
gcc-13.2.0/
gcc/
testsuite/
gnat.dg/
inline17_pkg3.adb
package body Inline17_Pkg3 is

   function "+" (Field : SQL_Field'Class) return Integer is
   begin
      return 0;
   end;

   function Unchecked_Get (Self : Ref) return Integer is
   begin
      return Self.Data;
   end;

end Inline17_Pkg3;