WITH ada.text_io;
WITH ada.integer_text_io;
PACKAGE stack2 IS
TYPE myArrayType IS ARRAY (1..20) OF integer;
TYPE aStack IS RECORD
   anArray : myArrayType;
	top : integer;
END RECORD;
PROCEDURE push (someStack :IN OUT aStack;
                someValue : IN integer); 
PROCEDURE pop (someStack :  IN OUT aStack; 
					someValue : OUT integer);
FUNCTION isFull (someStack : IN aStack) RETURN boolean;
FUNCTION isEmpty (someStack : IN aStack) RETURN boolean;
PROCEDURE peek (someStack : IN aStack; 
                someValue : OUT integer);
PROCEDURE makeEmpty (someStack : IN OUT aStack);
END stack2;