#ifndef INSEL_TERMINAL_H
#define INSEL_TERMINAL_H

void setup_terminal(void);
void restore_terminal(void);

extern int tty_fd;
extern int tty_out_fd;
extern int orig_stdout;
extern int stdin_is_tty;

#endif