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 =  unwrap (e_call d.d_name []) in
      I.H.add hindex k t ; t