/* _dict.cc 14/08/1996 16.46.56 */
/* linuxconf.cc 22/11/2002 10.44.22 */
/* main.cc 22/11/2002 10.43.20 */
/* notice.cc 08/10/2002 11.59.06 */
/* wrapper.cc 22/01/2001 23.54.12 */