function Pure_Function2 (X : Integer) return Integer with Pure_Function;

pragma Pure_Function (Pure_Function2);
pragma Pure_Function (Pure_Function2);
pragma Pure_Function (Pure_Function2);