let show_estimate_opt   = ref false