/*-------------------------------------------------------------------------
 *
 * io.h--
 *    
 *
 *
 * Copyright (c) 1994, Regents of the University of California
 *
 * $Id: io.h,v 1.1.1.1 1994/11/07 05:19:35 andrew Exp $
 *
 *-------------------------------------------------------------------------
 */
#ifndef	IO_H
#define	IO_H

extern int StringInput;
extern char *TheString;
extern char *Ch;

extern void init_io(void);
extern char input(void);
extern void unput(char c);

#endif	/* IO_H */