******** fig3.47b **********

	void
	dispose_stack( STACK S )
	{
		if( S != NULL )
		{
			free( S->stack_array );
			free( S );
		}
	}