1package Pure_Function1 is
2   function F return Integer;
3   pragma Pure_Function (F);
4   pragma Pure_Function (F);
5   pragma Pure_Function (F);
6end;
7