package Unprotected_Element is
Store : Element := Init;
function Get return Element;
procedure Set
procedure Inc;
procedure Dec;