external procedure stackmakenull(var s:stack);
external procedure stackpush(x: stackelement; var s: stack);
external function stacktop(s: stack):stackelement;
external procedure stackpop(var s: stack);
external function stackempty(s: stack):boolean;
external procedure stackprint(s:stack; var out: text);

.