booleanboehmstackmurecursivetomachine