#ifndef __DTE_H__
#define __DTE_H__

void dte_reset(void);
void build_dte(void);
void push_entry(long entry);
char * read_line(FILE * f, char * b);
void dte_compress();
void read_thingy(FILE * f);
void read_thingy_file(FILE * f);

extern char * dte_text;
extern char * things[256];
extern long dte_text_size;
extern long dte_usage[256];

extern long tnb_dte;

#endif