stackmurecursiveboehmbooleanmachine-3