librarymurecursivestackboehmboolean