/*
 * tty support functions
 */

void tty_done ();
void tty_init ();
int tty_getchar ();