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