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