let quiet_mode          = ref false