                         /* hashtab.h, 23 May 11 */

extern struct hashtable *saved_htable;
extern struct num_seen_rec *matched_num_list;

extern BOOL init_hash_table(void);
extern struct num_seen_rec *
     get_saved_info(struct num_db_rec *spec_num_ptr,
                    DIGIT_CHAR *mantissa,
                    int len_mantissa,
                    DIGIT_CHAR *exponent,
		    void **key);
extern BOOL cnt_seen_num(enum match_enum match_kind,
                struct num_db_rec *spec_num_ptr,
                fp_t seen_val,
                DIGIT_CHAR *mantissa,
                int len_mantissa,
                DIGIT_CHAR *exponent);

