booleanboehmstackmurecursive2soft