/* Copyright (C) 1995 DJ Delorie, see COPYING.DJ for details */
void screenio_note(char *fmt, ...);
void screenio_print(char *fmt, ...);
extern int screenio_enabled;