/*->h.dbug */

extern void writetodebug(int fp);
extern void debugopen(int fp);
extern void debugclose(int fp);
extern void debugputc(int c);
extern void debuggetc(int c);

extern void dbicon(int icon);
extern void dbredraw(void);
extern void dbclose(void);
extern void dbopen(void);
extern void dbkey(int * key);
extern void decodedb(int m1);

extern int savedbbuffer(char * filename);
extern int savedbspool(char * filename);

extern void setdbdataphase(int enter,int rx);

