/* _dict.cc 06/10/98 23.27.00 */
/* vhost.cc 08/10/98 12.09.50 */
void vhost_menu (void);
/* virtual.cc 08/10/98 12.03.46 */