/* _dict.cc 21/06/2000 12.33.16 */
/* vregistry.cc 05/11/2003 13.56.46 */