#include "..\printers.h"
extern boolean dev_init(FILE * listing, boolean test_pr64);
extern void write_translated(char * buffer);
extern void dev_final(void);
extern void dev_close(void);