/* _dict.cc 21/06/2000 12.33.16 */
/* vregistry.cc 05/11/2003 13.56.46 */
PUBLIC VREGISTRY_API_SERIAL::VREGISTRY_API_SERIAL (void);
PUBLIC VREGISTRY_API_SERIAL::~VREGISTRY_API_SERIAL (void);
PRIVATE int VREGISTRY_API_SERIAL::exec (const char *func,
	 int nbparm,
	 const char *parms[],
	 SSTRINGS&res);
PUBLIC MODULE_vregistry::MODULE_vregistry (void);
PUBLIC int MODULE_vregistry::dohtml (const char *key);
PUBLIC void MODULE_vregistry::usage (SSTRINGS&tb);
PUBLIC int MODULE_vregistry::execmain (int argc, char *argv[], bool);