/* _dict.cc 06/10/98 23.27.00 */
/* vhost.cc 08/10/98 12.09.50 */
/* virtual.cc 08/10/98 12.03.46 */
PUBLIC MODULE_virtual::MODULE_virtual (void);
PUBLIC void MODULE_virtual::setmenu (DIALOG&dia, MENU_CONTEXT context);
PUBLIC int MODULE_virtual::domenu (MENU_CONTEXT context,
	 const char *key);
PUBLIC int MODULE_virtual::dohtml (const char *key);
PUBLIC int MODULE_virtual::execmain (int argc, char *argv[]);