softmurecursivestackboehmboolean