/* Return hash value of abbreviation 'abbr' if found, -1 otherwise */ int has_key (const char *abbr);