void load_def(void);

void read_registers(void);

void wr_reg(void);
void wr_auto(char *logfile);