let exp_ok = ref true