let verbose_mode        = ref false