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