let minimize_spills = ref true