murecursivestackboehmboolean2machine.c