booleanboehmstackmurecursivemachine