/* externals.h  9/11/94
 * This file contains declarations of external variables used in all programs
 * See ../src/declarations.h for their definitions.
 */
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;
