/* marsconf.cc 09/03/2001 12.03.02 */
PUBLIC MODULE_marsconf::MODULE_marsconf (void);
PUBLIC void MODULE_marsconf::setmenu (DIALOG&dia,
	 MENU_CONTEXT context);
PUBLIC int MODULE_marsconf::domenu (MENU_CONTEXT context,
	 const char *key);
PUBLIC int MODULE_marsconf::dohtml (const char *key);
PUBLIC void MODULE_marsconf::usage (SSTRINGS&tb);
PUBLIC int MODULE_marsconf::execmain (int argc,
	 char *argv[],
	 bool standalone);
/* _dict.cc 09/03/2001 12.03.02 */