/patch-configure_in/1.1/Wed Dec 19 00:17:52 2001//
/patch-ppg_random_c/1.1.1.1/Mon Aug 28 23:36:45 2000//
/patch-ppgen_c/1.1.1.1/Mon Aug 28 23:36:45 2000//
D
