/* externals.h  9/11/94
 * This file contains declarations of external variables used in all programs
 * See ../src/declarations.h for their definitions.
 */
#ifndef KBMAG_EXTERNALS_H
#define KBMAG_EXTERNALS_H

extern int kbm_store_ptrs;
extern int kbm_print_level;
extern int kbm_algno;
extern int kbm_gen_no[];
extern char kbm_buffer[];
extern boolean kbm_large;
extern boolean kbm_huge;

#endif
