inj_hash_get_cookie
inj_decl_t *other = inj_hash_get_cookie(v);
dlm = inj_hash_get_cookie(v);
inj_decl_t *other = inj_hash_get_cookie(v);
return (inj_hash_get_cookie(v));
return (inj_hash_get_cookie(v));
inj_defn_t *other = inj_hash_get_cookie(v);
extern void *inj_hash_get_cookie(inj_var_t *);