let ignore_call = ref (fun _i -> false)