generic
  G : in out Integer;
package Gen2 is
   procedure Set (V : Integer) with
     Global => (Output => G),
     Post   => G = V;
   function Get return Integer with
     Global => (Input => G),
     Post => Get'Result = G;
end Gen2;
