let show_statistics_opt       = ref false