let has_been_initialized base state =
    try
      let o = find_base base state in
      V_Offsetmap.is o V_Or_Uninitialized.uninitialized
    with Not_found -> true