let (ref_validity:valid ref) = ref []