/*
 * Include file:
 *	debug.h
 */

extern void setup_debug(void);
extern void dm(char, int, char *, ...);