let show_statistics ()       = !show_statistics_opt