stackmurecursiveboehmboolean2code