machinebooleanboehmstackmurecursive