1package Inline2_Pkg is
2
3   function Valid_Real (Number : Float) return Boolean;
4   pragma Inline (Valid_Real);
5
6   function Invalid_Real return Float;
7   pragma Inline (Invalid_Real);
8
9end Inline2_Pkg;
10