let err_report = ref (None : err_report option)