1. package body Unprotected_Element_Generic is 
  2.  
  3.    package body Unprotected_Element is 
  4.  
  5.       function Get return Element is (Store); 
  6.  
  7.       procedure Set (E : Element) is 
  8.  
  9.       begin 
  10.          Store := E; 
  11.       end Set; 
  12.  
  13.       procedure Inc is 
  14.  
  15.       begin 
  16.          Store := Element'Succ (Store); 
  17.       end Inc; 
  18.  
  19.       procedure Dec is 
  20.  
  21.       begin 
  22.          Store := Element'Pred (Store); 
  23.       end Dec; 
  24.  
  25.    end Unprotected_Element; 
  26.  
  27. end Unprotected_Element_Generic;