let find_label idx lab =
    let collect k info res = match k with
      | Hkey.Hlabel (_,k_lab) -> 
          if Cil_datatype.Label.equal k_lab lab then  info :: res else res
      | _ -> res
    in
    let infos = H.fold collect idx.other [] in
      match infos with
          info :: [] -> info | [] -> raise Not_found | _ -> assert false