package pila is
   type Elemento is range -100..100;
   function Empty return Boolean;
   procedure Push(E: Elemento);
   procedure Pop(E: out Elemento);
end pila;