stackmurecursiveboehmboolean2machine