/DESCR/1.2/Tue May 6 17:42:33 2003// /distinfo/1.7/Mon Nov 8 01:02:11 2021// /Makefile/1.38/Fri Jul 7 01:00:58 2023// D