generic
   type Element is (<>); -- any discrete type
   Init : Element;       -- initial value

package Unprotected_Element_Generic is

type Element is (<>);

Init : Element;