let catch_errors = ref true