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