let errors_as_warnings = ref false