/* 
   * Copyright (C) 2000 Jeff Dike (jdike@karaya.com)
   * Licensed under the GPL
   */
  
  #ifndef __STDIO_CONSOLE_H
  #define __STDIO_CONSOLE_H
  
  extern void save_console_flags(void);
  #endif