#ifndef DBX_OUT_H
#define DBX_OUT_H 1

void highlight_on YARGS((void));
void highlight_off YARGS((void));
void writereal YARGS((double d));
void writechar YARGS((char c));
void writestring YARGS((char * s));
void writeint YARGS((int i));
void writehex YARGS((unsigned u));
void writebool YARGS((int i));
void writeyn YARGS((int i));
void writeln YARGS((void));
void writeline YARGS((char *s));
int readstring YARGS((char *s));


void open_table YARGS((void));
void close_table YARGS((void));
void set_column YARGS((unsigned width));
void stop_tab YARGS((void));
void restart_tab YARGS((void));
void next_item YARGS((void));
void open_subtable YARGS((void));
void close_subtable YARGS((void));

void init_dbx_out YARGS((void));
void term_dbx_out YARGS((void));

#endif
