WITH ada.text_io;
WITH ada.integer_text_io;
PACKAGE BODY stack IS
--TYPE aStack IS ARRAY (1..20) OF integer;
PROCEDURE push (someStack :IN OUT aStack;
                someValue : IN integer) IS 
BEGIN
  NULL; 
END push;
	
PROCEDURE pop (someStack :  IN OUT aStack; 
					someValue : OUT integer) IS
BEGIN
 someValue := 53; 
 NULL;
END pop;

FUNCTION isFull (someStack : IN aStack) RETURN boolean is
BEGIN
  RETURN TRUE;
END isFull;
FUNCTION isEmpty (someStack : IN aStack) RETURN boolean is
BEGIN
  RETURN FALSE;
END isEmpty;
PROCEDURE peek (someStack : IN aStack;
                someValue : OUT integer) is
BEGIN
  NULL;
  someValue := -68;
END peek;

END stack;