Datos Punteros e Implementación Dinámica de Pilas

procedure liberar(p:in out pila) is
aux:ptDato;
begin
aux:=p.cim;
while aux/=null loop
p.cim:=p.cim.sig;
disponer(aux);
aux:=p.cim;
end loop;
p.alt:=0;
end liberar;