let flag_warnings = ref true