method get_id name = let i = ref 0 in Hashtbl.iter (fun (a,_) id -> if (a=name) then i:=id) string_to_id; !i