extern Istream *stdin;
extern Ostream *stdout;
extern Ostream *stderr;

extern int print(char*, ...);
extern int putc(char c);
extern int puts(char *s);
extern char * gets(char *s, int n);

extern Istream *demcon_istream;
extern Ostream *demcon_ostream;
extern Istream *kbd_istream;
extern Ostream *vidcon_ostream;