let cond_rec = ref (fun _ _ -> assert false)