/* _dict.cc 14/08/1996 16.46.56 */
/* linuxconf.cc 22/11/2002 10.44.22 */
const char *linuxconf_getkeymap (void);
int linuxconf_gethtmltimeout (void);
int linuxconf_setkeymap (void);
void linuxconf_recordkeymap (const char *map);
void linuxconf_editctrl (void);
void linuxconf_formatversion (char version[80]);
void linuxconf_setmaintitle (char title[80], char sidetitle[80]);
void linuxconf_mainmenu (bool dontcheck);
void linuxconf_main (bool dontcheck);
void linuxconf_premain (void);
void linuxconf_gettree (SSTRINGS&keys,
	 SSTRINGS&titles,
	 SSTRINGS&icons);
/* main.cc 22/11/2002 10.43.20 */
void linuxconf_usage (void);
/* notice.cc 08/10/2002 11.59.06 */
void notice_show (void);
/* wrapper.cc 22/01/2001 23.54.12 */
void linuxconf_main (bool);
bool ipnum_validnet (const char *, const char *);