booleanboehmmurecursivestacktoocd