extern char *chomp( char * );
extern char *trim( char * );
extern char *strip_quotes( char * );
-extern char *io_get_string( char *, int, char * );
+extern char *io_get_string( char *, int, const char * );
extern int *get_int( int *, int );
extern void term_init( );
extern int term_read( );
extern void term_exit( );
extern char get_keypress( );
-extern void wait_for_any_key( char * );
+extern void wait_for_any_key( const char * );
extern void beep( );
#endif