let get_ind x =
      let k = I.index x in
      try I.H.find hindex k
      with Not_found ->
        let d = get_definition x in
        let t : integer = F.unwrap (F.e_call d.d_name []) in
        I.H.add hindex k t ; t