booleanboehmstackmurecursivesoft