1
2package Inline17_Pkg3 is
3
4   type SQL_Field is tagged null record;
5
6   function "+" (Field : SQL_Field'Class) return Integer;
7
8   type Ref is record
9      Data : Integer;
10   end record;
11
12   function Unchecked_Get (Self : Ref) return Integer with Inline_Always;
13
14   function Get (Self : Ref) return Integer is (Unchecked_Get (Self));
15
16end Inline17_Pkg3;
17