let compactify = ref true